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