From 7580575ff550540e0c56ad8cf5eda63e989a3db0 Mon Sep 17 00:00:00 2001 From: Date: Wed, 11 Jul 2007 15:02:50 -0400 Subject: [PATCH] A few other tiny changes to the Makefile. --- Makefile | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/Makefile b/Makefile index 990fa79..3edf508 100644 --- a/Makefile +++ b/Makefile @@ -1,12 +1,9 @@ #!/usr/bin/make all: $(patsubst %.tex,%.pdf,$(wildcard *.tex)) +pdf: all - -%.pdf: %.png - png2pdf -p 1.4 -a $< $@ - -%.pdf: %.tex +%.pdf: %.tex rubber -fd $< clean: @@ -14,7 +11,7 @@ clean: rm -f *.tmp rm -f figures/*.pdf -viewpdf: pdf +viewpdf: all evince text.pdf spell: -- 2.30.2