Georg Brandl <georg at python.org> added the comment: This should have been fixed a long time ago. Try running "make clean; make update; make html"? __________________________________ Tracker <report at bugs.python.org> <http://bugs.python.org/issue2300> __________________________________