# put the section numbers here:
SECTIONS
="1 2 3 4 5 6 7 8"
(cd cat$section; rm -f $
*)
nroff
-man < man
$section/$1 > cat$section/$1
ln cat$section/$catfile cat$section/$1
echo formatting section
$section ...
allfiles
=`ls -i1 man$section | sort | awk '{if (inode ~ $1) printf "/" $2;
else printf " " $2; inode = $1 } END {printf "\n"}'`