make ps files

diff --git a/Makefile b/Makefile
index 355cf45d6f8284752ec6dd07418da8eef8323688..f0b8948ead15e33303af0e9fcd4ee5e2740c109e 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -6,8 +6,11 @@ DOCS = \
 
 LATEX = latex
 METAPOST = mpost
+DVIPS = dvips
 
-all: $(patsubst %,%.dvi,$(DOCS)) graph.1
+all: \
+       $(patsubst %,%.ps,$(DOCS)) \
+       graph.1
 
 %.1: %.mp
        $(METAPOST) $^
@@ -16,5 +19,8 @@ all: $(patsubst %,%.dvi,$(DOCS)) graph.1
        $(LATEX) $^
        $(LATEX) $^
 
+%.ps: %.dvi
+       $(DVIPS) -o $@ $^
+
 clean:
        rm -f *.dvi *.ps *.log *.aux *.[1-9]