From 40fd56db47463de0dd3a4985093e3d3eea0d5dde Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Sat, 25 Sep 2010 17:46:31 +0200 Subject: [PATCH] Updated Makefile --- Makefile | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 97fd815..fcfaecb 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,13 @@ all: test.ps -include ../Makefile +%.dvi: %.tex + csplain $< + +%.ps: %.dvi + dvips -D600 -o $@ -t a4 $< + +%.pdf: %.tex + pdfcsplain $< + +clean: + rm -f *~ *.log *.dvi *.ps *.aux -- 2.39.2