update Makefile

[linuxnijmegen-make.git] / Makefile

diff --git a/Makefile b/Makefile
index d3824b3..7928a30 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,6 @@
 DOC:=make
 LATEX:=latex
 LATEXFLAGS:=-file-line-error -halt-on-error -no-shell-escape
-
 TEXS:=$(wildcard *.tex)
 
 .PHONY: all clean
@@ -12,9 +11,6 @@ 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) $<
        $(LATEX) $(LATEXFLAGS) $<