Fix for the case when no PEP title is given.

2002-02-16 10:44:32 +00:00 · 2002-02-16 10:44:32 +00:00 · b40374d85b
parent 4c4c1d5b80
commit b40374d85b
1 changed files with 2 additions and 1 deletions
--- a/pep2html.py
+++ b/pep2html.py
@ -139,6 +139,7 @@ def fixfile(infile, outfile):
    print >> fo, '[<b><a href="../">home</a></b>]'
    if basename <> 'pep-0000.txt':
        print >> fo, '[<b><a href=".">index</a></b>]'
+    if pep:
        print >> fo, '[<b><a href="pep-%04d.txt">PEP source</a></b>]' % int(pep)
    print >> fo, '</div>'
    print >> fo, '<div class="header">\n<table border="0">'