From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 5 Sep 2020 13:47:37 +0000 (+0100)
Subject: Makefile.m4: Make PDF documents using PDFTeX.
X-Git-Url: https://git.distorted.org.uk/~mdw/mdwtools/commitdiff_plain/d8b70202dfedbe4896fa0e4a2bfa5270a0787798?ds=inline

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