From: Ben Pfaff Date: Wed, 15 Dec 2004 01:11:52 +0000 (+0000) Subject: Get rid of install target: not needed anymore. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4416a6d2354b42834cbc3ac5078a60063335f7cd;p=pintos-anon Get rid of install target: not needed anymore. --- diff --git a/doc/Makefile b/doc/Makefile index 3d1869f..9e918bb 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -38,10 +38,3 @@ dist: pintos.html pintos.pdf mkdir WWW WWW/specs cp *.html *.png *.pdf *.css WWW (cd ../specs && cp -r *.pdf freevga kbd sysv-abi-update.html ../doc/WWW/specs) - -install: dist - rm -rf /usr/class/cs140/WWW/projects/pintos.old - rm -rf /usr/class/cs140/WWW/projects/pintos.new - mv WWW /usr/class/cs140/WWW/projects/pintos.new - cd /usr/class/cs140/WWW/projects && mv pintos pintos.old && \ - mv pintos.new pintos