8 date > $TMPDIR/badso$dir
9 echo >> $TMPDIR/badso$dir
10 date > $TMPDIR/needso$dir
11 echo >> $TMPDIR/needso$dir
16 so=`echo $ln | sed "s/ .*//"`
19 so=`echo $ln | sed -e "s/.so//" -e "s/^/ls/"`
20 echo $so >> $TMPDIR/tmp.$$
22 ed - $file > $TMPDIR/tmp2.$$ <<!
23 /^\.SH NAME/+s/ .-.*//p
26 name=`line < $TMPDIR/tmp2.$$`
27 echo $name | grep "," > /dev/null
30 name=`echo $name | sed "s/,/ /g"`
33 if test $ent = `echo $file | sed "s/\..*//"`
37 ls $MANDIR/man$dir/$ent.* 2>&1 | grep "not found" >> $TMPDIR/needso$dir
44 sh tmp.$$ 2>&1 | grep "not found" >> badso$dir