1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
#!/bin/sh
# usage: formatman section1,...,sectionn
# Copyright INRIA
formataman()
{
echo " processing $1.man"
sed -e 's/\\f[IPB]//g' -e 's/\\f(CR//g' -e 's/^\.I //' $1.man |tbl|neqn|nroff -man|sed -f ../strip.sed >$1.cat
}
format()
{
while [ $# -gt 0 ]
do
file=`echo $1|sed -e 's/\.man$//'`
newest=`ls -t -1 $file.cat $file.man 2>/dev/null |sed -n -e '1p'`
if [ "$newest" = "$file.man" ]; then
formataman $file
fi
shift
done
}
for section in $*
do
echo formatting section: $section ...
cd $section
allfiles=`ls -1 *.man | awk '{print " " $1 }'`
format $allfiles
newest=`ls -t -1 whatis *.cat $file.man 2>/dev/null |sed -n -e '1p'`
if [ "$newest" != "whatis" ]; then
echo " generating: $section/whatis table"
../mkwhatis $allfiles
fi
cd ..
done
exit 0
|
