From: Ben Pfaff 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)