34 lines
588 B
Diff
34 lines
588 B
Diff
|
Index: doc/Makefile
|
||
|
===================================================================
|
||
|
--- doc/Makefile.orig
|
||
|
+++ doc/Makefile
|
||
|
@@ -15,6 +15,7 @@
|
||
|
|
||
|
HTMLFILES=$(subst .sgml,.html,$(shell echo *.sgml))
|
||
|
DVIFILES=$(subst .ps,.dvi,$(PSFILES))
|
||
|
+PDFFILES=$(subst .ps,.pdf,$(PSFILES))
|
||
|
|
||
|
|
||
|
all: pstwocol
|
||
|
@@ -25,6 +26,8 @@
|
||
|
|
||
|
dvi: $(DVIFILES)
|
||
|
|
||
|
+pdf: $(PDFFILES)
|
||
|
+
|
||
|
print: $(PSFILES)
|
||
|
$(LPR) $(PSFILES)
|
||
|
|
||
|
@@ -41,6 +44,11 @@
|
||
|
echo "Re-running LaTeX $<, $${pass}d pass"; pass=$$[$$pass + 1]; \
|
||
|
done
|
||
|
|
||
|
+#%.pdf: %.tex
|
||
|
+# pdflatex $<
|
||
|
+%.pdf: %.ps
|
||
|
+ ps2pdf $<
|
||
|
+
|
||
|
%.ps: %.dvi
|
||
|
$(DVIPS) $< -o $@
|
||
|
|