(|l)gpl-2.[01].tex: Remove the `\renewcommand{\theenumi}...' comments.
[cfd] / maninst
1 #! /bin/sh
2
3 set -e
4 ext="" mandir=/usr/local/man srcdir=. inst=install mode=644
5 while [ $# -gt 0 ]; do
6 case $1 in
7 -h)
8 echo "$0: [-e EXT] [-d DIR] [-i INSTALL] [-m MODE] [un]install FILE ..."
9 exit 0
10 ;;
11 -e) ext=$2; shift 2 ;;
12 -d) mandir=$2; shift 2 ;;
13 -i) inst=$2; shift 2 ;;
14 -m) mode=$2; shift 2 ;;
15 -s) srcdir=$2; shift 2 ;;
16 --) shift; break ;;
17 -*) echo >&2 "$0: unknown option \`$1'"; exit 1 ;;
18 *) break ;;
19 esac
20 done
21 op=$1; shift
22 case $op in
23 install | uninstall) ;;
24 *) echo >&2 "$0: unknown operation \`$1'"; exit 1 ;;
25 esac
26 for i; do
27 base=${i##*/} sec=${base##*.}
28 case $op in
29 install)
30 echo -n " Installing manpage $base$ext"
31 $inst -d "$mandir/man$sec"
32 $inst -m $mode "$srcdir/$i" "$mandir/man$sec/$base$ext"
33 ;;
34 uninstall)
35 rm -f "$mandir/man$sec/$base$ext"
36 ;;
37 esac
38 for l in `sed 's:^\.\\\" *@::p; d' "$srcdir/$i"`; do
39 case $op in
40 install)
41 if [ "$l.$sec" != "$base" ]; then
42 echo -n "."
43 echo ".so man$sec/$base$ext" >"$mandir/man$sec/$l.$sec$ext"
44 chmod $mode "$mandir/man$sec/$l.$sec$ext"
45 fi
46 ;;
47 uninstall)
48 rm -f "$mandir/man$sec/$l.$sec$ext"
49 ;;
50 esac
51 done
52 case $op in
53 install) echo ;;
54 esac
55 done