#
# autoconf complains if we don't have an install script, and I should
# write one some time anyway...
#

echo "XXX install todo"
exit 1