#! /bin/sh
### ====================================================================
### Create an installation directory tree, in case one does not already
### exist.
###
### Usage:
###	./MKDIRS				# for default of /usr/local
### or
###	./MKDIRS --prefix=/some/directory/path
###
### [14-Dec-2000]
### ====================================================================

error=0
prefix=/tmp/local

case "$#" in
0)
	true
	;;
1)
	case $1 in
	-prefix=* | -prefi=* | -pref=* | -pre=* | -pr=* | -p=* )
		prefix=` echo $1 | sed -e 's/^[^=]*=//' `
		;;
	--prefix=* | --prefi=* | --pref=* | --pre=* | --pr=* | --p=* )
		prefix=` echo $1 | sed -e 's/^[^=]*=//' `
		;;
	-*)
		error=1
		;;
	esac
	;;
2)
	case $1 in
	-prefix | -prefi | -pref | -pre | -pr | -p )
		prefix=$2
		;;
	--prefix | --prefi | --pref | --pre | --pr | --p )
		prefix=$2
		;;
	-*)
		error=1
		;;
	esac
	;;
*)
	error=1
	;;
esac

if test $error -ne 0
then
	echo Usage: $0 --prefix=/some/directory/path
	exit 1
fi

DIRS="
	$prefix
	$prefix/lib
	$prefix/man
	$prefix/man/cat3
	$prefix/man/html
	$prefix/man/html/man3
	$prefix/man/man3
	$prefix/man/pdf
	$prefix/man/pdf/man3
	$prefix/man/ps
	$prefix/man/ps/man3
	"

echo Creating directory tree with prefix = $prefix

mkdir $DIRS 2>/dev/null

echo All of these directories should now exist:
du -k -s $DIRS
