From bf88c3830e3a7d31022039fa265896aec90db61e Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Wed, 15 Apr 1998 17:50:22 +0000
Subject: [PATCH] Fix the broken PDF links, really this time!

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.
---
 Doc/tools/toc2bkm.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Doc/tools/toc2bkm.py b/Doc/tools/toc2bkm.py
index 0d22fb1e2c2..ed78f36c37f 100755
--- 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: