From dbb2b9d77ee45b8072251c99da3851ee922a5dad Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Wed, 30 Oct 2002 21:38:32 +0000
Subject: Hackish way to generate an up-<link> for the title page if we have
 one.

Added misc. comments.
---
 Doc/perl/python.perl | 20 ++++++++++++++++----
 1 file changed, 16 insertions(+), 4 deletions(-)

diff --git a/Doc/perl/python.perl b/Doc/perl/python.perl
index 3fc7454..f1c66ef 100644
--- a/Doc/perl/python.perl
+++ b/Doc/perl/python.perl
@@ -724,9 +724,9 @@ sub make_str_index_entry($){
 }
 
 
-%TokenToTargetMapping = ();
-%DefinedGrammars = ();
-%BackpatchGrammarFiles = ();
+%TokenToTargetMapping = ();     # language:token -> link target
+%DefinedGrammars = ();          # language -> full grammar text
+%BackpatchGrammarFiles = ();    # file -> 1 (hash of files to fixup)
 
 sub do_cmd_token{
     local($_) = @_;
@@ -1647,7 +1647,18 @@ sub make_my_titlegraphic(){
 
 sub do_cmd_maketitle{
     local($_) = @_;
-    my $the_title = "\n<div class=\"titlepage\">";
+    my $the_title = "\n";
+    if ($EXTERNAL_UP_LINK) {
+        # This generates a <LINK> element in the wrong place (the
+        # body), but I don't see any other way to get this generated
+        # at all.  Browsers like Mozilla, that support navigation
+        # links, can make use of this.
+        $the_title .= ("<link rel='up' href='$EXTERNAL_UP_LINK'"
+                       . ($EXTERNAL_UP_TITLE
+                          ? " title='$EXTERNAL_UP_TITLE'" : '')
+                       . ">\n");
+    }
+    $the_title .= '<div class="titlepage">';
     if ($TITLE_PAGE_GRAPHIC) {
         if ($TITLE_PAGE_GRAPHIC_ON_RIGHT) {
             $the_title .= ("\n<table border=\"0\" width=\"100%\">"
@@ -1854,6 +1865,7 @@ sub do_cmd_seepep{
 }
 
 sub do_cmd_seerfc{
+    # XXX Would be nice to add links to the text/plain and PDF versions.
     return handle_rfclike_reference(@_[0], "RFC", $RFC_FORMAT);
 }
 
-- 
cgit v0.12