/Makefile/1.6/Thu Feb  3 18:10:48 2000//
/makewhatis.8/1.9/Mon Oct 30 17:46:08 2000//
/makewhatis.pl/1.19/Tue Apr  3 16:33:49 2001//
D
