blob: 4f14fafcdceef61e9ecf73fcd3019a6e2645167f (
plain)
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
|
#!/bin/sh
# if you wish to make html versions of the man pages then add the
# argument html when calling this script. You must have rman installed.
#
if [ ! -d catman ]; then
mkdir catman
fi
if [ "$1" = "html" ]; then
if [ ! -d html ]; then
mkdir html
fi
fi
FILES="*.?"
cd ../../docs
for FILE in $FILES ; do
neqn $FILE | tbl | nroff -man > ../packaging/SGI/catman/`basename $FILE`
compress -f ../packaging/SGI/catman/`basename $FILE`
if [ "$1" = "html" ]; then
rman -f html -r "%s.%s.html" $FILE > ../packaging/SGI/html/$FILE.html
fi
done
cd ../packaging/SGI
|
