#!/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