--- Makefile.old 2004-11-09 04:53:22.000000000 -0500 +++ Makefile 2005-01-08 21:22:35.561788920 -0500 @@ -30,8 +30,6 @@ all: cd src; $(MAKE) all - cd doc; $(MAKE) all - cd course; $(MAKE) all install: cd src; $(MAKE) $@