share/man/tools/prnames


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
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