From 45219ddd3fda2a4fb804b0f0f42c915a62065124 Mon Sep 17 00:00:00 2001 From: Mark Wooding Date: Sat, 5 Sep 2020 23:06:34 +0100 Subject: [PATCH] Makefile.m4: Make documentation depend on generated font files. --- Makefile.m4 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.m4 b/Makefile.m4 index e3db7b3..05699c3 100644 --- a/Makefile.m4 +++ b/Makefile.m4 @@ -73,7 +73,7 @@ define(`run_latex', `rm -rf t.$`'@/ && mkdir t.$`'@/ && \ $1 "\def\indexing{n} \nonstopmode \input $<" && \ mv $`'@ ../ && cd ../ && rm -rf t.$`'@/') -$(DVI) $(PDF): $(AUX) $(INS) +$(DVI) $(PDF): $(AUX) $(INS) $(FD) .dtx.dvi:; run_latex(`latex') .dtx.pdf:; run_latex(`pdflatex') .dvi.ps:; dvips $< -- 2.11.0