blob: 57dbc541880945d26df6cbd3e1b86d7749895672 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
MANDIR=/usr/man
TMPDIR=/usr/man/tmp
date > $TMPDIR/greps
echo "Grep list: $*" >> $TMPDIR/greps
echo >> $TMPDIR/greps
for pattern in $*
do
echo "\n================" >> $TMPDIR/greps
echo "$pattern:" >> $TMPDIR/greps
for dir in 1 2 3 4 5 6 7 8
do
cd $MANDIR/man$dir
echo "cat <<'EOF' >---------------" >> $TMPDIR/greps
echo "Section $dir" >> $TMPDIR/greps
grep $pattern *.* >> $TMPDIR/greps
done
done
|