diff --git a/cf/install-catman.sh b/cf/install-catman.sh new file mode 100755 index 000000000..1632e989f --- /dev/null +++ b/cf/install-catman.sh @@ -0,0 +1,25 @@ +#!/bin/sh +# +# $Id$ +# +# install preformatted manual pages + +INSTALL_DATA="$1"; shift +mkinstalldirs="$1"; shift +srcdir="$1"; shift +mandir="$1"; shift +suffix="$1"; shift + +for f in "$@"; do + base=`echo "$f" | sed 's/\(.*\)\.\([^.]*\)$/\1/'` + section=`echo "$f" | sed 's/\(.*\)\.\([^.]*\)$/\2/'` + catdir="$mandir/cat$section" + c="$base.cat$section" + if test -f "$srcdir/$c"; then + if test \! -d "$catdir"; then + eval "$mkinstalldirs $catdir" + fi + eval "echo $INSTALL_DATA $srcdir/$c $catdir/$base.$suffix" + eval "$INSTALL_DATA $srcdir/$c $catdir/$base.$suffix" + fi +done