Makefile: Keep the log file after formatting.

diff --git a/Makefile b/Makefile
index a2d9dd3..eb8ee48 100644 (file)
--- 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.