Georg Brandl added the comment: Should be fixed now. The daily builds are just copied over to /dev, so removed pages don't get removed automatically.
I could add an "rm -r" to the dailybuild steps, but that would cause a few moments of missing pages for everyone browsing /dev at that moment. ---------- nosy: +georg.brandl resolution: -> fixed status: open -> closed _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue16069> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com