Changeset 9c935cb in git

Timestamp:

Jul 31, 1998, 1:20:44 PM (26 years ago)

Author:

Kai Krüger <krueger@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

8c4d791b0134ec4b991923ab17351f17c74f3187

Parents:

2135c8a06a9817b86fc58aecf22ccade2ea478fe

Message:

Added html-version of tutorial


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

File:

• doc/Makefile.in (modified) (1 diff)

doc/Makefile.in

@@ -94 +94 @@
         touch html
 
+# html stuff
+html_tutor: ${TUTOR_FILES}
+        test -d html_tutor || mkdir html_tutor
+        cd html_tutor && ../texi2html -I .. -menu -expandinfo -number -split_node -verbose ../tutor.tex
+        test -d html || mkdir html
+        test -d html/images || mkdir html/images
+        for img in ${IMAGES}; \
+        do \
+                echo uudecode images/$${img}.uu; \
+                uudecode images/$${img}.uu; \
+        done
+        test -e html_tutor/images || (cd html_tutor; ln -s ../html/images images)
+        touch html_tutor
+
 # how to create the texinfo files
 %.tex: %.doc doc2tex ${SINGULAR}