> Someone with web server access may want to double check the > modification dates of the .txt files relative to the generated .html > files for other PEPs though.
make will deal with that just fine. If a PEP was modified, svn up will update the time stamp on the file. When then the rebuild fails, the html file will still have an old time stamp. So I'm unsure why you thought you needed to modify some of the files. Regards, Martin _______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
