; Convert thyme-based java Makefile to waldorf-based.
(find-file "Makefile")
(replace-string "/users/gfisher/work" "/users/faculty/gfisher/projects/work")
(beginning-of-buffer)
(replace-string "/users/gfisher" "/users/faculty/gfisher")
(beginning-of-buffer)
(replace-string "	make " "	make -f Makefile-waldorf ")
(beginning-of-buffer)
(replace-string "; make " "; make -f Makefile-waldorf ")
(write-file "Makefile-waldorf")