Changeset 2d5d7e9 in git

Timestamp:

Feb 20, 2024, 10:56:02 AM (2 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

3138067d4015d2804d700e33002470444fcd2210

Parents:

be27df299776fa013655436294fca9fa5ec69a32

Message:

doc: tex, texindex

File:

• doc/Makefile-docbuild.in (modified) (2 diffs)

doc/Makefile-docbuild.in

@@ -119 +119 @@
 
 singular.dvi: ${MANUAL_FILES} singular.tex s-plural.tex s-plulibs.tex s-letterplace.tex
-        tex singular.tex
-        texindex singular.cp
-        tex singular.tex
-        texindex singular.cp
-        tex singular.tex
+        $(TEX) singular.tex
+        $(TEXINDEX) singular.cp
+        $(TEX) singular.tex
+        $(TEXINDEX) singular.cp
+        $(TEX) singular.tex
 
 singular.pdf: ${MANUAL_FILES} singular.tex s-plural.tex s-plulibs.tex s-letterplace.tex
@@ -129 +129 @@
 
 manual.dvi: ${MANUAL_FILES} manual.tex s-plural.tex s-plulibs.tex  s-letterplace.tex
-        tex manual.tex
-        texindex manual.cp
-        tex manual.tex
-        texindex manual.cp
-        tex manual.tex
+        $(TEX) manual.tex
+        $(TEXINDEX) manual.cp
+        $(TEX) manual.tex
+        $(TEXINDEX) manual.cp
+        $(TEX) manual.tex
 
 tutor.dvi: ${TUTOR_FILES}
-        tex tutor.tex
-        tex tutor.tex
-        tex tutor.tex
+        $(TEX) tutor.tex
+        $(TEX) tutor.tex
+        $(TEX) tutor.tex
 
 tutor.pdf: ${TUTOR_FILES}