fixfile(): Include a link to the plain text "PEP source" on each html

page.
This commit is contained in:
Barry Warsaw 2001-03-20 15:00:13 +00:00
parent 46c12a40a3
commit af1139129f
1 changed files with 1 additions and 0 deletions

View File

@ -115,6 +115,7 @@ def fixfile(infile, outfile):
fo.write('[<b><a href="../">home</a></b>]\n') fo.write('[<b><a href="../">home</a></b>]\n')
if os.path.basename(infile) != "pep-0000.txt": if os.path.basename(infile) != "pep-0000.txt":
fo.write('[<b><a href=".">index</a></b>]\n') fo.write('[<b><a href=".">index</a></b>]\n')
fo.write('[<b><a href="pep-%04d.txt">PEP source</a></b>]\n' % int(pep))
fo.write('</div>\n' fo.write('</div>\n'
'<div class="header">\n<table border="0">\n') '<div class="header">\n<table border="0">\n')
for k, v in header: for k, v in header: