diff --git a/Doc/perl/l2hinit.perl b/Doc/perl/l2hinit.perl index 11975319527..6da39268fdd 100644 --- a/Doc/perl/l2hinit.perl +++ b/Doc/perl/l2hinit.perl @@ -617,10 +617,17 @@ sub make_head_and_body($$) { "\n\n", ($BASE ? "\n" : ''), "\n", - "\n", ($FAVORITES_ICON ? ('\n") : ''), + ($EXTERNAL_UP_LINK + ? ('\n") + : ''), + "\n", ($HAVE_TABLE_OF_CONTENTS ? ('' . ($HAVE_GENERAL_INDEX ? "\n" : '')) @@ -633,6 +640,16 @@ sub make_head_and_body($$) { # ? '' # . "\n" # : ''), + ($INFO + # XXX We can do this with the Python tools since the About... + # page always gets copied to about.html, even when we use the + # generated node###.html page names. Won't work with the + # rest of the Python doc tools. + ? ("\n" + . "\n") + : ''), $more_links_mark, "\n", ($CHARSET && $HTML_VERSION ge "2.1"