Changeset b35f77f in git for doc

Timestamp:

Jun 19, 1998, 3:35:42 PM (26 years ago)

Author:

Kai Krüger <krueger@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

2f776b98867bac5cf01ba63f86e126e2a87e05d1

Parents:

39aaa1ac5795ace5bcee2023702797f8f7c9960c

Message:

*** empty log message ***


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

File:

• doc/texi2html (modified) (4 diffs)

doc/texi2html

@@ -2 +2 @@
 'di ';
 'ig 00 ';
-# $Id: texi2html,v 1.5 1998-06-18 13:26:19 krueger Exp $
+# $Id: texi2html,v 1.6 1998-06-19 13:35:42 krueger Exp $
 # Description: Program to transform most Texinfo documents to HTML.
 # The plan is for the next version of makeinfo to support HTML output
@@ -1597 +1597 @@
     if (open(FILE, "> $docu_toc")) {
         print "# creating $docu_toc...\n" if $verbose;
-        &print_toplevel_header("$title - Table of Contents");
+        &print_header("$title - Table of Contents", "", 0);
+        # &print_toplevel_header("$title - Table of Contents");
         &print_ruler;
         &print (*top_lines, FILE); # Contents of the top node before the TOC.
@@ -2053 +2054 @@
             $text = &$style($text);
         } elsif ($style) { # good style
-            $text = "<$style>$text</$style>";
+            $text = "<H1><$style>$text</$style></H1>";
         } else { # no style
         }
@@ -2217 +2218 @@
 <A HREF=\"$HOMEPAGE\" TARGET=\"_parent\">texi2html</A>
 translator version 1.51a.</H6>
+<H6>Modified by the Singular-Team 19.6.1998</H6>
 EOT
     &print_footer;