diff --git a/Doc/.latex2html-init b/Doc/.latex2html-init index 876d7289508..774f3a79444 100644 --- a/Doc/.latex2html-init +++ b/Doc/.latex2html-init @@ -1,7 +1,7 @@ #LaTeX2HTML Version 96.1 : dot.latex2html-init -*- perl -*- # -$INFO = 1; # 0 = do not make a "About this document..." section +$INFO = 1; # 0 = do not make a "About this document..." section $MAX_LINK_DEPTH = 3; # Python documentation uses section numbers to support references to match @@ -60,7 +60,7 @@ sub process_command { # $ref_before may also be modified ... $after = &$cmd_msub($after, @open_font_tags); if ( !$math_mode ) { - $after = "" . $after . ""; + $after = "" . $after . ""; ++$commands_outside_math{$cmd}; }; } @@ -73,7 +73,7 @@ sub process_command { if ( $math_mode ) { $after = "&$mathentity;" . $after; } else { - $after = "&$mathentity;" . $after; + $after = "&$mathentity;" . $after; ++$commands_outside_math{$cmd}; }; } # Here's the hack: @@ -100,42 +100,42 @@ sub top_navigation_panel { # Now add a few buttons with a space between them "\n" + + # Line Break, horizontal rule (3-d dividing line) and new paragraph + "

\n" } sub bot_navigation_panel { # Start with a horizontal rule (3-d dividing line) - "\n

\n" } @@ -148,14 +148,14 @@ sub make_str_index_entry { # of the current section), use $ref_before. $TITLE = $ref_before unless $TITLE; # Save the reference - local($nstr) = "$str###" . ++$global{'max_id'}; # Make unique + local($nstr) = "$str###" . ++$global{'max_id'}; # Make unique $index{$nstr} .= &make_half_href("$CURRENT_FILE#$br_id"); "$str<\/a>"; } sub add_idx { print "\nDoing the index ..."; - local($key, $str, @keys, $index, $level, $count, + local($key, $str, @keys, $index, $level, $count, @previous, @current); @keys = keys %index; @keys = sort keysort @keys; @@ -169,11 +169,11 @@ sub add_idx { while ($count > $level) { $index .= "
\n"; $level++; - } + } while ($count < $level) { $index .= "
\n"; $level--; - } + } foreach $term (@current[$count .. $#current-1]) { # need to "step in" a little $index .= "
" . $term . "\n
\n"; @@ -184,14 +184,14 @@ sub add_idx { $index .= #$index{$key} . # If it's the same string don't start a new line (&index_key_eq(join('',@current), join('',@previous)) ? - ", $index{$key}" . $cross_ref_visible_mark . "\n" : + ", $index{$key}" . $cross_ref_visible_mark . "\n" : "
$index{$key}" . $str . "\n"); @previous = @current; } while ($count < $level) { $index .= "
\n"; $level--; - } + } s/$idx_mark/
$index<\/dl>/o; }