Added convenience script for setting up catalogs.

diff --git a/releasetools/catalog-install b/releasetools/catalog-install
new file mode 100755 (executable)
index 0000000..7dcda08
--- /dev/null
+++ b/releasetools/catalog-install
@@ -0,0 +1,25 @@
+#!/bin/sh
+# $Id$
+if [ "$1" = "uninstall" ]
+then
+  if [ -f ./uninstall.sh ]
+  then
+    ./uninstall.sh --batch
+  else
+    echo
+    echo "Nothing to uninstall."
+    echo
+    echo "To set up catalogs, first run $0"
+    echo "without the 'uninstall' argument."
+    exit 1
+  fi
+else
+  echo
+  make install.sh \
+  && echo \
+  && ./install.sh --batch \
+  && . $(pwd)/.profile.incl \
+  && echo "OK, did . $(pwd)/.profile.incl" \
+  && echo "to source environment." \
+  && ./test.sh
+fi