From 4a4734927db2c23f2450d49a085c6143014e3bf9 Mon Sep 17 00:00:00 2001 From: Fred Drake Date: Wed, 30 Oct 2002 21:32:40 +0000 Subject: [PATCH] More support for generated pages. --- Doc/tools/mkmodindex | 17 +++++++++++++++++ Doc/tools/support.py | 10 +++++++--- 2 files changed, 24 insertions(+), 3 deletions(-) diff --git a/Doc/tools/mkmodindex b/Doc/tools/mkmodindex index 7d5c682022c..8e869f9266b 100755 --- a/Doc/tools/mkmodindex +++ b/Doc/tools/mkmodindex @@ -29,6 +29,8 @@ import os import re import sys +from xml.sax.saxutils import quoteattr + import buildindex import support @@ -49,6 +51,21 @@ class IndexOptions(support.Options): program = os.path.basename(sys.argv[0]) print __doc__ % {"program": program} + links = [ + ('author', 'acks.html', 'Acknowledgements'), + ('help', 'about.html', 'About the Python Documentation'), + ] + + def get_header(self): + header = support.Options.get_header(self) + s = '' + for rel, href, title in self.links: + s += '' - % (self.uplink, self.uptitle)) + link = ('\n ' + '' + % (self.uplink, self.uptitle, + self.uplink, self.uptitle)) else: - link = '' % self.uplink + link = ('\n ' + '' + % (self.uplink, self.uplink)) repl = " %s\n" % link s = s.replace("", repl, 1) if self.aesop_type: