Changeset 8a0ba8 in git for doc/doc2tex.pl

Timestamp:

Jul 28, 1999, 1:36:32 PM (24 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

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

Children:

f11262e665fdb6e9d0ba667bbcc59239411ba90d

Parents:

e4f76ec87d529ae38fd307cdc6828a45e39d9ffd

Message:

* added lib2doc utility


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

File:

• doc/doc2tex.pl (modified) (3 diffs)

doc/doc2tex.pl

@@ -1 +1 @@
 #!/usr/local/bin/perl
-# $Id: doc2tex.pl,v 1.15 1999-07-23 12:32:35 obachman Exp $
+# $Id: doc2tex.pl,v 1.16 1999-07-28 11:36:31 obachman Exp $
 ###################################################################
 #  Computer Algebra System SINGULAR
@@ -382 +382 @@
       }
     }
-  }
+    $header = $_ unless ($header)
+  }
+  chomp $header;
   die "$ERRROR no matching \@c ref found for $doc_file:$lline\n" 
     unless (/^\@c\s*ref\s*$/);
@@ -388 +390 @@
   @refs = sort(keys(%refs));
   # put them out
-  print TEX $header ? "$header\n" : "See also:\n";
-  print TEX "\@ifinfo\n\@menu\n";
+  print TEX "\@ifinfo\n";
+  print TEX "\@menu\n";
+  if ($header && $header ne " ")
+  {
+    print TEX "$header\n";
+  }
+  else
+  {
+    print TEX "See also:\n";
+  }
   foreach $ref (@refs) {print TEX "* ".$ref."::\n";}
   print TEX "\@end menu\n\@end ifinfo\n\@iftex\n";