From 2a5eac8bf815e403a4d588d96c7cd5961757944c Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Sun, 19 Jun 2005 05:38:20 +0000 Subject: [PATCH] Get rid of .png rules that are no longer used. --- doc/Makefile | 13 ++----------- 1 file changed, 2 insertions(+), 11 deletions(-) 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) -- 2.30.2