# This file is a shell script fragment 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.

srctrigger=Makefile.in
srcname="Misc utilities"
target_dependent=true

# per-host:

# per-target:

configdirs="doschk"