/Makefile/1.6/Thu Feb  3 18:10:48 2000//
/makewhatis.pl/1.11/Wed May 31 18:38:30 2000//
/makewhatis.8/1.9/Tue Oct 31 22:49:12 2000//
D
