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 $@
|
|
|