From 4416a6d2354b42834cbc3ac5078a60063335f7cd Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Wed, 15 Dec 2004 01:11:52 +0000 Subject: [PATCH] Get rid of install target: not needed anymore. --- doc/Makefile | 7 ------- 1 file changed, 7 deletions(-) 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 -- 2.30.2