A few other tiny changes to the Makefile.

diff --git a/Makefile b/Makefile
index 990fa79dd4cc5c7dca101309c5fb0f5f5e689cd2..3edf5085dff8c8997d110b53153294b1a177f1e4 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,12 +1,9 @@
 #!/usr/bin/make
 
 all: $(patsubst %.tex,%.pdf,$(wildcard *.tex)) 
 #!/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: 
        rubber -fd $<
 
 clean: 


@@ -14,7 +11,7 @@ clean:
        rm -f *.tmp
        rm -f figures/*.pdf
 
        rm -f *.tmp
        rm -f figures/*.pdf
 

-viewpdf: pdf
+viewpdf: all

        evince text.pdf
 
 spell:
        evince text.pdf
 
 spell: