Jordan K. Hubbard e704d7993c Reshuffle all the man pages around in the Makefiles too (duh!).		1994-09-30 17:37:23 +00:00
..
man0	…
man1	…
man3	…
man4	…
man5	…
man7	…
man8	…
tools	…
Makefile	…
makewhatis.sed	…