#! /bin/sh
if [ -z "$GNUCDMT" ]; then
  echo "GNUCDMT not set"
  exit 1
fi

mkcdmt -d $GNUCDMT -P gnutools -D "GNU Development Tools" -V 5.0.7Kj -p gnutools.mkcdmt
