Changeset 354f3b in git for doc/doc2tex.pl

Timestamp:

Nov 29, 1999, 1:56:11 PM (23 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

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

Children:

6429844b12e9748d6a461099af9e807e552d8950

Parents:

7736c5c981277530fc20586946850a0fe14b5348

Message:

 Changes to docu and install


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

File:

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

doc/doc2tex.pl

@@ -1 +1 @@
 #!/usr/local/bin/perl
-# $Id: doc2tex.pl,v 1.19 1999-11-24 18:50:40 obachman Exp $
+# $Id: doc2tex.pl,v 1.20 1999-11-29 12:56:07 obachman Exp $
 ###################################################################
 #  Computer Algebra System SINGULAR
@@ -163 +163 @@
 {
   $line++;
-  
   if (/^\@c\s*example/)     {&HandleExample; next;}
   if (/^\@c\s*include\s+/)  {&HandleInclude; next;}
@@ -177 +176 @@
   print TEX $_;
 
+  if (! $printed_header && /^\@c/) 
+  {
+    $printed_header = 1;
+    print TEX <<EOT;
+\@comment This file was generated by doc2tex.pl from $doc_file
+\@comment DO NOT EDIT DIRECTLY, BUT EDIT $doc_file INSTEAD
+EOT
+  }
+
   if (/^\@bye$/)            {last;}
 }
@@ -189 +197 @@
 ######################################################################
 # @c example [error] [no_comp]
-#    -> the text till the next @c example is feed into Singular,
+#    -> the text till the next @c example is fed into Singular,
 #       the text is then substituted by
 #       @c computed example $ex_prefix $doc_file:$line
@@ -265 +273 @@
   if ($reuse && $cache)
   {
+    my $ok = 1;
     print "<$ex_prefix>" if ($verbose);
     print TEX "\@c reused example $ex_prefix $doc_file:$lline \n";
     open(INC, "<$inc_file") || Error("can't open $inc_file for reading: $!\n");
-    while (<INC>){ print TEX $_;}
+    while (<INC>)
+    {
+      if (/error occurred/ && $ok && !error_ok)
+      {
+        Warn("Result file $inc_file contains errors. Force re-computation by removing $inc_file");
+        $ok = 0;
+      }
+      print TEX $_;
+    }
     close(INC);
   }
@@ -580 +597 @@
 }
 
+sub Warn
+{
+  print "$WARNING $_[0]\n";
+}
 #
 # leave this here --otherwise fontification in my emacs gets screwd up