From 9dfa04de62dfeb8655cf55371e68df1ca8804366 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Tue, 12 Oct 2004 22:53:00 +0000 Subject: [PATCH] Add `install' target. --- doc/Makefile | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/doc/Makefile b/doc/Makefile index 9e918bb..3d1869f 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -38,3 +38,10 @@ 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