+++ /dev/null
-# 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"