Changeset e6d2f45 in git

Timestamp:

Jul 21, 1999, 11:04:21 PM (24 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

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

Children:

0f98206139bb0990993e9073a2bae130abf678db

Parents:

847cad00bd51532762eb834db78b83b695454b42

Message:

* caching of examples/results is broken: disabled it


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

File:

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

doc/doc2tex.pl

@@ -1 +1 @@
 #!/usr/local/bin/perl
-# $Id: doc2tex.pl,v 1.11 1999-07-21 19:53:23 obachman Exp $
+# $Id: doc2tex.pl,v 1.12 1999-07-21 21:04:21 obachman Exp $
 ###################################################################
 #  Computer Algebra System SINGULAR
@@ -158 +158 @@
 }
 
-dbmopen(%EXAMPLES, $doc_examples_db, oct(755)) || die "$ERROR: can't open examples data base: $!\n";
+# dbmopen(%EXAMPLES, $doc_examples_db, oct(755)) || die "$ERROR: can't open examples data base: $!\n";
 
 #######################################################################
@@ -183 +183 @@
 #
 close(TEX);
-dbmclose(%EXAMPLES);
+#dbmclose(%EXAMPLES);
 print "\nd2t: Finished generation of $tex_file \n" if ($verbose > 1);
 print "\n" if ($verbose == 1);
@@ -242 +242 @@
 
   # check whether it can be reused
-  $include = $EXAMPLES{$thisexample};
   if ($reuse && ($include = $EXAMPLES{$thisexample}))
   {