Move PEP directory to dev (patch by Tim Parkin).

This commit is contained in:
Martin v. Löwis 2006-03-21 14:41:48 +00:00
parent 7378c9f909
commit f4a88d02a7
1 changed files with 2 additions and 2 deletions

View File

@ -34,7 +34,7 @@ Options:
The optional arguments ``peps`` are either pep numbers or .txt files. The optional arguments ``peps`` are either pep numbers or .txt files.
""" """
destDirBase = '/data/ftp.python.org/pub/beta.python.org/build/data/doc/peps' destDirBase = '/data/ftp.python.org/pub/beta.python.org/build/data/dev/peps'
import sys import sys
import os import os
@ -244,7 +244,7 @@ def fixfile(inpath, input_lines, outfile):
need_pre = 0 need_pre = 0
print >> outfile, re.sub( print >> outfile, re.sub(
parts[1], parts[1],
'<a href="/doc/peps/pep-%04d/">%s</a>' % (int(parts[1]), '<a href="/dev/peps/pep-%04d/">%s</a>' % (int(parts[1]),
parts[1]), line, 1), parts[1]), line, 1),
continue continue
elif parts and '@' in parts[-1]: elif parts and '@' in parts[-1]: