wget -o /dev/null -P PUBLISH http://www.andrew.cmu.edu/cgi-bin/publish?FLAG=1\&NAME=15-295-archive cd PUBLISH more pub* | grep "