From b40374d85b33a115f021361d711dceaeceefc652 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marc-Andr=C3=A9=20Lemburg?= <mal@egenix.com>
Date: Sat, 16 Feb 2002 10:44:32 +0000
Subject: [PATCH] Fix for the case when no PEP title is given.

---
 pep2html.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pep2html.py b/pep2html.py
index b49241275..fef067e49 100755
--- a/pep2html.py
+++ b/pep2html.py
@@ -139,7 +139,8 @@ 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>]'
-    print >> fo, '[<b><a href="pep-%04d.txt">PEP source</a></b>]' % int(pep)
+    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">'
     for k, v in header: