From fa84cec0474ea09689881f972b03dde8849f1402 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Thu, 3 Nov 2016 20:28:27 +0100
Subject: [PATCH] update Makefile

---
 Makefile | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/Makefile b/Makefile
index d3824b3..7928a30 100644
--- 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) $<
-- 
2.20.1