Revisions to Makefile regarding pushing stuff to the web