/Makefile/1.6/Thu Feb  3 18:10:48 2000//
/makewhatis.8/1.9/Tue Oct 31 22:49:12 2000//
/makewhatis.pl/1.19/Tue Apr  3 20:41:28 2001//
D
