Changeset 94fcf4 in git for doc/texi2html

Timestamp:

Jun 8, 1998, 3:22:47 PM (25 years ago)

Author:

Kai Krüger <krueger@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'f875bbaccd0831e36aaed09ff6adeb3eb45aeb94')

Children:

02ae4d98b3ee2362873bdb40b33f39fd9384701c

Parents:

371d054fe95ebf56332b6e4042357991ab985b26

Message:

*** empty log message ***


git-svn-id: file:///usr/local/Singular/svn/trunk@2088 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• doc/texi2html (modified) (6 diffs)

doc/texi2html

@@ -2 +2 @@
 'di ';
 'ig 00 ';
-# $Id: texi2html,v 1.1 1998-06-08 13:06:03 krueger Exp $
+# $Id: texi2html,v 1.2 1998-06-08 13:22:47 krueger Exp $
 # Description: Program to transform most Texinfo documents to HTML.
 # The plan is for the next version of makeinfo to support HTML output
@@ -448 +448 @@
 %gloss2href = ();                       # glossary term to HREF
 @sections = ();                         # list of sections
+@left_index = ();
 %tag2pro = ();                          # protected sections
 
@@ -662 +663 @@
                 &next_doc;
                 push(@lines, $SPLITTAG) if $split_num++;
-                print "= = =>$node\n";
                 push(@sections, $node);
             }
@@ -908 +908 @@
                 $name = &update_sec_num($tag, $level) . "  $name"
                     if $number_sections && $tag !~ /^unnumbered/;
+                push(@left_index, $name);
                 if ($tag =~ /heading$/) {
                     push(@lines, &html_debug("\n", __LINE__));
@@ -934 +935 @@
                             &next_doc;
                             push(@lines, $SPLITTAG) if $split_num++;
-                            print "=+=+=> $name;\n";
                             push(@sections, $name);
                         }
@@ -1491 +1491 @@
 #push(@menu_lines, "<NOBR>\n");
 push(@menu_lines, "<DL>\n");
-foreach (@sections) {
-    &left_menu_entry($_);
+foreach (@left_index) {
+    if (!/^[A-Z0-9]\./) {
+        &left_menu_entry($_);
+    }
 }
 push(@menu_lines, "</DL>\n");