blob: d8ca6f7d31b288e0db14beac3d7e33bac0493aed (
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
28
29
30
31
32
|
#!/bin/sh
prefix=$1
set=$2
shift
shift
for page in $* ; do
source=$page'.'$set
target=""
if [ -d $prefix/man$set ] ; then
mandir=$prefix/man$set
target=$mandir/$page'.'$set
fi
if [ -z $target ] ; then
roff=nroff
if [ -f /usr/lib/groff ] ; then
roff="groff -Tascii"
fi
if [ -f /usr/local/lib/groff ] ; then
roff="groff -Tascii"
fi
if [ -d $prefix/cat$set ] ; then
mandir=$prefix/cat$set
target=$mandir/$page.set
$roff -man <$source >$page'.man'
source=$page'.man'
fi
fi
echo 'Adding '$page' to '$mandir
install -g man -m 0664 $source $target
done
|
