X-Git-Url: https://git.martlubbers.net/?p=linuxnijmegen-make.git;a=blobdiff_plain;f=Makefile;h=d3824b3218c2534167e13081d76be8d44a5f06e2;hp=fa986e778d35e92303c5679274f4e1797b1d69e6;hb=c543cff53548d9647211b8f13e1817d3e4b34b15;hpb=305fcfdc2031aff0f53aabe787c282b699fe2ac3

diff --git a/Makefile b/Makefile
index fa986e7..d3824b3 100644
--- a/Makefile
+++ b/Makefile
@@ -4,7 +4,7 @@ LATEXFLAGS:=-file-line-error -halt-on-error -no-shell-escape
 
 TEXS:=$(wildcard *.tex)
 
-.PHONY: all
+.PHONY: all clean
 .SECONDARY: $(DOC).fmt
 
 all: $(DOC).dvi
@@ -16,9 +16,8 @@ all: $(DOC).dvi
 	dvips -o- $< | gzip -9 > $@
 
 %.dvi: %.tex %.fmt $(TEXS)
-	$(LATEX) $(LATEXFLAGS) $< | tee $(basename $<).mlog
-	grep -qF '(rerunfilecheck)' $(basename $<).mlog &&\
-		$(LATEX) $(LATEXFLAGS) $< || true
+	$(LATEX) $(LATEXFLAGS) $<
+	$(LATEX) $(LATEXFLAGS) $<
 
 clean:
-	$(RM) $(addprefix $(DOC).,dvi pdf log aux nav toc out snm mlog fmt ps*)
+	$(RM) $(addprefix $(DOC).,dvi pdf log aux nav toc out snm fmt ps* vrb mlog)