/Makefile/1.6/Thu Feb  3 18:10:48 2000//
/makewhatis.8/1.9/Mon Oct 30 17:46:08 2000//
/makewhatis.pl/1.21/Tue Apr 16 20:07:07 2002//
D
