Changeset cedc3f in git

Timestamp:

Jul 16, 1999, 5:03:11 PM (24 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

(u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')

Children:

a4c74f3c4ac6aa4345cb627722dba093a4f6b5c4

Parents:

f62e6e86b94c24567af3fcde71381ce20f87b276

Message:

* small changes


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

File:

• doc/t2h_singular.init (modified) (2 diffs)

doc/t2h_singular.init

@@ -7 +7 @@
 # we only redefine things which ar of relevance to singular
 # all the others we simply "include"
+
+# -prefix
+# Set the output file prefix, prepended to all .html, .gif and .pl files.
+$T2H_PREFIX = 'sing';
 
 # -expand
@@ -24 +28 @@
 # ".html". This is helpful when shipping the document to PC systems.
 $T2H_SHORTEXTN = 1;
-
-# -prefix
-# Set the output file prefix, prepended to all .html, .gif and .pl files.
-$T2H_PREFIX = '';
 
 #if set cross-references are given without section numbers