lukem 06b0ffe181 distclean is a synonym for cleandir		1998-09-05 14:46:13 +00:00
..
miniroot	Add $HOME to profiles, closes pr 4323 (from Tatoku Ogaito)	1998-01-09 21:51:25 +00:00
ramdisk	distclean is a synonym for cleandir	1998-09-05 14:46:13 +00:00
Makefile.inc	note that only static compilation makes sense here	1998-03-02 19:58:19 +00:00