[hcoop/domtool2.git] / bootstrap / domtool-install-lib

#!/bin/sh

# install domtool library
SHAREDROOT=`../bin/domtool-config -path shared-root`

if [ -z "$SHAREDROOT" ]; then
    echo "shared-root not set, domtool not built?"
    exit 1
fi

rsync -r ../lib/ $SHAREDROOT/lib
Commit	Line	Data
2a73fe51 CE	1	#!/bin/sh
	2
	3	# install domtool library
	4	SHAREDROOT=`../bin/domtool-config -path shared-root`
	5
	6	if [ -z "$SHAREDROOT" ]; then
	7	echo "shared-root not set, domtool not built?"
	8	exit 1
	9	fi
	10
	11	rsync -r ../lib/ $SHAREDROOT/lib