prnames revision 1.1 
1#! /bin/sh
2set x $*
3. ./.param
4
5for dir in $DIRLST
6do
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
22done
23