obrien 9b94427a55 Fix this so it is a Makefile and not a shell script -- now issuing `make' ... a second time does not rebuild the binary.		2000-08-04 08:30:00 +00:00
..
include
lib
loader	Fix this so it is a Makefile and not a shell script -- now issuing `make'	2000-08-04 08:30:00 +00:00
Makefile
Makefile.inc