From f10584cb112c89da87d7d4b524851226ee7f9406 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Mon, 22 Oct 2001 15:07:16 +0000
Subject: [PATCH] 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.

---
 Doc/tools/support.py | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/Doc/tools/support.py b/Doc/tools/support.py
index 836adf4381..bfd86cee61 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
-- 
2.50.1