+
+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