chiark
/
gitweb
/
~mdw
/
runlisp
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Tidy up the shell scripts somewhat.
[runlisp]
/
maninst
diff --git
a/maninst
b/maninst
index bdf5a0fedb106189b18aab8cf544cc42bb24371a..25ea78d766b2e72732842432253d72b55ea07133 100755
(executable)
--- a/
maninst
+++ b/
maninst
@@
-24,8
+24,7
@@
case $op in
*) echo >&2 "$0: unknown operation \`$1'"; exit 1 ;;
esac
for i; do
*) echo >&2 "$0: unknown operation \`$1'"; exit 1 ;;
esac
for i; do
- base=`echo "$i" | sed 's:^.*/::'`
- sec=`echo "$base" | sed 's:^.*\.::'`
+ base=${i##*/} src=${base##*.}
case $op in
install)
echo -n " Installing manpage $base$ext"
case $op in
install)
echo -n " Installing manpage $base$ext"
@@
-39,14
+38,14
@@
for i; do
for l in `sed 's:^\.\\\" *@::p; d' "$srcdir/$i"`; do
case $op in
install)
for l in `sed 's:^\.\\\" *@::p; d' "$srcdir/$i"`; do
case $op in
install)
-
if [ "$l.$sec" != "$base" ]; then
-
echo -n "."
+ if [ "$l.$sec" != "$base" ]; then
+ echo -n "."
echo ".so man$sec/$base$ext" >"$mandir/man$sec/$l.$sec$ext"
chmod $mode "$mandir/man$sec/$l.$sec$ext"
fi
;;
uninstall)
echo ".so man$sec/$base$ext" >"$mandir/man$sec/$l.$sec$ext"
chmod $mode "$mandir/man$sec/$l.$sec$ext"
fi
;;
uninstall)
-
rm -f "$mandir/man$sec/$l.$sec$ext"
+ rm -f "$mandir/man$sec/$l.$sec$ext"
;;
esac
done
;;
esac
done