From: Fred Drake <fdrake@acm.org>
Date: Mon, 22 Oct 2001 15:07:16 +0000 (+0000)
Subject: Do a little bit more to try and add <link> elements to the header, not that
X-Git-Tag: v2.2.1c1~1114
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=f10584cb112c89da87d7d4b524851226ee7f9406;p=thirdparty%2FPython%2Fcpython.git

Do a little bit more to try and add <link> elements to the header, not that
Mozilla 0.9.5 can make intelligent use of them.  Specifically, this causes
the "Acknowledgements" and "Global Module Index" pages to acquire "up"
links in the Mozilla "Site Navigation Bar".
This partially responds to SF bug #469772.
---

diff --git a/Doc/tools/support.py b/Doc/tools/support.py
index 836adf4381cb..bfd86cee61b8 100644
--- a/Doc/tools/support.py
+++ b/Doc/tools/support.py
@@ -87,7 +87,16 @@ class Options:
         raise getopt.error("option %s not recognized" % opt)
 
     def get_header(self):
-        return HEAD % self.variables
+        s = HEAD % self.variables
+        if self.uplink:
+            if self.uptitle:
+                link = ('<link rel="up" href="%s" title="%s">'
+                        % (self.uplink, self.uptitle))
+            else:
+                link = '<link rel="up" href="%s">' % self.uplink
+            repl = "  %s\n</head>" % link
+            s = s.replace("</head>", repl, 1)
+        return s
 
     def get_footer(self):
         return TAIL % self.variables