From: Mark Wooding <mdw@distorted.org.uk>
Date: Fri, 22 Jul 2022 10:20:32 +0000 (+0100)
Subject: Makefile: Keep the log file after formatting.
X-Git-Url: https://git.distorted.org.uk/~mdw/mdwtools/commitdiff_plain/43a0026a2e8b23320070cc05ee161cf67e446e5b

Makefile: Keep the log file after formatting.
---

diff --git a/Makefile b/Makefile
index a2d9dd3..eb8ee48 100644
--- a/Makefile
+++ b/Makefile
@@ -147,7 +147,7 @@ run-latex		 = \
 	$1 "\def\indexing{y} \nonstopmode \input $<" $(v_null) && \
 	makeindex $(v_quiet) -s gind.ist $*.idx $(v_null) && \
 	$1 "\def\indexing{n} \nonstopmode \input $<" $(v_null) && \
-	mv $@ ../ && cd ../ && rm -rf t.$@/
+	mv $@ $*.log ../ && cd ../ && rm -rf t.$@/
 clean::; rm -rf t.*/
 
 ## Good old-fashioned DVI.