A few other tiny changes to the Makefile.

0001-01-01 00:00:00 +00:00 · 0001-01-01 00:00:00 +00:00 · 7580575ff5
commit 7580575ff5
parent a1eaca457d
1 changed files with 3 additions and 6 deletions
--- a/9
+++ b/9
@ -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: