-# Make sure configure is up-to-date
-
-all install dist binary-dist :: configure
-configure :: configure.in
- @echo "WARNING: configure needs to be regenerated. Type"
- @echo " make -f Makefile.config ./configure"
- @echo "and rerun make."
- @exit 16
-
-# -----------------------------------------------------------------------------