I'm trying to build and upload the docs and it looks like the pretty-html function won't work in python2.5. It needs htmltreebuilder, which doesn't seem to be present in the version of elementtree included with python2.5. -- Martin