/Makefile/1.6/Wed Feb  9 10:16:32 1994//
/makewhatis.sed/1.8/Fri Feb 24 11:15:42 1995//
