From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 19 Jun 2005 05:38:20 +0000 (+0000)
Subject: Get rid of .png rules that are no longer used.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5fe027f6d74f82352e83ba3dcdfcfa7f46c2f153;p=pintos-anon

Get rid of .png rules that are no longer used.
---

diff --git a/doc/Makefile b/doc/Makefile
index 8a4d80e..63f5247 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -19,22 +19,13 @@ pintos.ps: pintos.dvi
 pintos.pdf: $(TEXIS)
 	texi2pdf $< -o $@
 
-%.eps: %.jgr
-	(jgraph $< > $@.tmp && mv $@.tmp $@) || touch $@
-
-%.png: %.eps
-	convert $< $@
-
-%.pdf: %.eps
-	epstopdf $< --outfile=$@
-
 clean:
-	rm -f *.info *.html *.png
+	rm -f *.info *.html
 	rm -f *.dvi *.pdf *.ps *.log *~
 	rm -rf WWW
 
 dist: pintos.html pintos.pdf
 	rm -rf WWW
 	mkdir WWW WWW/specs
-	cp *.html *.png *.pdf *.css WWW
+	cp *.html *.pdf *.css WWW
 	(cd ../specs && cp -r *.pdf freevga kbd sysv-abi-update.html ../doc/WWW/specs)