More <link> support for generated pages.
diff --git a/Doc/tools/mkmodindex b/Doc/tools/mkmodindex
index 7d5c682..8e869f9 100755
--- a/Doc/tools/mkmodindex
+++ b/Doc/tools/mkmodindex
@@ -29,6 +29,8 @@
import re
import sys
+from xml.sax.saxutils import quoteattr
+
import buildindex
import support
@@ -49,6 +51,21 @@
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 += '<link rel="%s" href="%s"' % (rel, href)
+ if title:
+ s += ' title=' + quoteattr(title)
+ s += '>\n '
+ return header.replace("<link ", s + "<link ", 1)
+
class Node(buildindex.Node):
def __init__(self, link, str, seqno, platinfo):