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