Makefile.m4: Make PDF documents using PDFTeX.

It produces significantly better output for syntax diagrams, for a
start.

diff --git a/Makefile.m4 b/Makefile.m4
index b87d514..87a02fb 100644 (file)
--- a/Makefile.m4
+++ b/Makefile.m4
@@ -73,11 +73,12 @@ define(`run_latex', `rm -rf t.$`'@/ && mkdir t.$`'@/ && \
 
 .dtx.dvi:; run_latex(`latex')
 .tex.dvi:; run_latex(`latex')
+.dtx.pdf:; run_latex(`pdflatex')
+.tex.pdf:; run_latex(`pdflatex')
 .dvi.ps:; dvips -e0 -o $@ $<
-.ps.pdf:; ps2pdf $< $@
 clean-local::; rm -rf t.*/
 
-$(DVI): gpl.tex $(OBJ) mdwtools.tex
+$(DVI) $(PDF): gpl.tex $(OBJ) mdwtools.tex
 
 $(wordlist 2,$(words $(OBJ)),$(OBJ)): $(firstword $(OBJ))
 $(firstword $(OBJ)): $(SRC) mdwtools.ins