Fix the broken PDF links, really this time!

freddrake · freddrake · commit bf88c3830e3a · 1998-04-15T17:50:22.000Z
Appending a junk char to the end doesn't quite do it, or doesn't seem to at
any rate.  Instead, pad the page numbers to always be 3 charaters wide, with
leading zeros.
diff --git a/Doc/tools/toc2bkm.py b/Doc/tools/toc2bkm.py
@@ -101,7 +101,7 @@ def write_toc(toc, fp):
 
 def write_toc_entry(entry, fp, layer):
     stype, snum, title, pageno, toc = entry
-    s = "\\pdfoutline goto name{page.%dx}" % pageno
+    s = "\\pdfoutline goto name{page%03d}" % pageno
     if toc:
 	s = "%s count -%d" % (s, len(toc))
     if snum:
