D/man0////
D/man1////
D/man3////
D/man4////
D/man5////
D/man7////
D/man8////
D/man9////
/Makefile/1.3/Mon Sep 22 19:24:38 1997//
/makewhatis.sed/1.2/Mon Sep 14 23:39:42 1998//
