share/man/tools/prnames

   1 #! /bin/sh
   2 set x $*
   3 . ./.param
   4
   5 for dir in $DIRLST
   6 do
   7         date > $TMPDIR/names$dir
   8         echo >> $TMPDIR/names$dir
   9         cd $MANDIR/man$dir
  10         for file in $FILLST
  11         do
  12                 so=`line < $file | sed "s/ .*//"`
  13                 if test "$so" = ".so"
  14                 then
  15                         continue
  16                 fi
  17                 ed - $file >> $TMPDIR/names$dir <<!
  18                         /^.SH NAME/+
  19                         q
  20 !
  21         done
  22 done