update Makefile

[linuxnijmegen-make.git] / Makefile

diff --git a/Makefile b/Makefile
index fa986e7..7928a30 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,10 +1,9 @@
 DOC:=make
 LATEX:=latex
 LATEXFLAGS:=-file-line-error -halt-on-error -no-shell-escape
-
 TEXS:=$(wildcard *.tex)
 
-.PHONY: all
+.PHONY: all clean
 .SECONDARY: $(DOC).fmt
 
 all: $(DOC).dvi
@@ -12,13 +11,9 @@ all: $(DOC).dvi
 %.fmt: preamble.tex
        $(LATEX) $(LATEXFLAGS) -ini -jobname="$(basename $@)" "&$(LATEX) $<\dump"
 
-%.ps.gz: %.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)