diff options
Diffstat (limited to 'share/man/tools/prnames')
| -rwxr-xr-x | share/man/tools/prnames | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/share/man/tools/prnames b/share/man/tools/prnames new file mode 100755 index 0000000..fe5f0df --- /dev/null +++ b/share/man/tools/prnames @@ -0,0 +1,22 @@ +#! /bin/sh +set x $* +. ./.param + +for dir in $DIRLST +do + date > $TMPDIR/names$dir + echo >> $TMPDIR/names$dir + cd $MANDIR/man$dir + for file in $FILLST + do + so=`line < $file | sed "s/ .*//"` + if test "$so" = ".so" + then + continue + fi + ed - $file >> $TMPDIR/names$dir <<! + /^.SH NAME/+ + q +! + done +done |
