Changeset be6d47 in git

Timestamp:

Oct 16, 2008, 4:15:35 PM (15 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '0604212ebb110535022efecad887940825b97c3f')

Children:

35f951ebca763480d9681e7b3c5b8147b4d76be2

Parents:

b5cd1c8ebd243002677c5e4de3f7b4eec0b79f9f

Message:

*hannes: HTML added


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

File:

• doc/simple-make (modified) (2 diffs)

doc/simple-make

@@ -1 +1 @@
 #!/bin/sh
+#
+# assume texi2dvi, perl in path
+# cwd=doc
 #
 cp examples.doc examples.tex
@@ -23 +26 @@
 done
 sed -e 's/@include plu/@include s-plu/' -e 's/@value{PSUFFIX}/(plural)/g' < plural.tex >s-plural.tex
+# DVI:
 texi2dvi singular.doc
+# HTML:
+/bin/rm -rf tmp
+mkdir tmp
+perl ./texi2html -init_file t2h_singular.init \
+  -l2h -short_ext -l2h_tmp tmp -subdir html -prefix simple \
+  -top_file index.htm  singular.doc