From d8b70202dfedbe4896fa0e4a2bfa5270a0787798 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 5 Sep 2020 14:47:37 +0100
Subject: [PATCH] Makefile.m4: Make PDF documents using PDFTeX.

It produces significantly better output for syntax diagrams, for a
start.
---
 Makefile.m4 | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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