# This file is a shell script that supplies the information necessary
# to tailor a template configure script into the configure script
# appropriate for this directory.  For more information, check any
# existing configure script.

configdirs=""
srctrigger=send-pr.sh
srcname="tools to submit problems reports for GNATS"

# per-host:
# per-target:
# post-target:
