diff options
Diffstat (limited to 'share/man/tools/mroff')
-rwxr-xr-x | share/man/tools/mroff | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/share/man/tools/mroff b/share/man/tools/mroff new file mode 100755 index 0000000..f2f071f --- /dev/null +++ b/share/man/tools/mroff @@ -0,0 +1,26 @@ +set x $* +. ./.param + +for dir in $DIRLST +do + date > $TMPDIR/mlog$dir + echo >> $TMPDIR/mlog$dir + cd $MANDIR/man$dir + for file in $FILLST + do + so=`line < $file | sed "s/ .*//"` + if test "$so" = ".so" + then + echo "$file: .so link -- ignored" >> $TMPDIR/mlog$dir + continue + fi + echo "$file:" >> $TMPDIR/mlog$dir + file=`echo $file | sed "s/\..\{1,2\}\$//"` + if test -z "$PFLAG" + then + man -t $dir $file + else + man -s $dir $file + fi + done +done |