@@ -617,10 +617,17 @@ ($$)
617617 " <html>\n <head>\n "
618618 ($BASE ? " <base href=\" $BASE \" >\n " ' '
619619 " <link rel=\" STYLESHEET\" href=\" $STYLESHEET \" type='text/css'>\n "
620- " <link rel=\" first\" href=\" $FILE .html\" >\n "
621620 ($FAVORITES_ICON
622621 ? (' <link rel="SHORTCUT ICON" href="' " $FAVORITES_ICON \" >\n "
623622 : ' '
623+ ($EXTERNAL_UP_LINK
624+ ? (' <link rel="start" href="' " $EXTERNAL_UP_LINK \" "
625+ . ($EXTERNAL_UP_TITLE ? " title='$EXTERNAL_UP_TITLE '" ' '
626+ . " >\n "
627+ : ' '
628+ " <link rel=\" first\" href=\" $FILE .html\" "
629+ ($t_title ? " title='$t_title '" ' '
630+ " >\n "
624631 ($HAVE_TABLE_OF_CONTENTS
625632 ? (' <link rel="contents" href="contents.html" title="Contents">'
626633 . ($HAVE_GENERAL_INDEX ? " \n " ' '
@@ -633,6 +640,16 @@ ($$)
633640 # ? '<link rel="index" href="modindex.html" title="Module Index">'
634641 # . "\n"
635642 # : ''),
643+ ($INFO
644+ # XXX We can do this with the Python tools since the About...
645+ # page always gets copied to about.html, even when we use the
646+ # generated node###.html page names. Won't work with the
647+ # rest of the Python doc tools.
648+ ? (" <link rel='last' href='about.html'"
649+ . " title='About this document...'>\n "
650+ . " <link rel='help' href='about.html'"
651+ . " title='About this document...'>\n "
652+ : ' '
636653 $more_links_mark ,
637654 " \n "
638655 ($CHARSET && $HTML_VERSION ge " 2.1"
0 commit comments