dnl Process with autoconf to create a configure script -*- Autoconf -*-
AC_PREREQ(2.50)
+
AC_INIT([Splint], [3.0.1.4], [splint-bug@splint.org], [splint])
dnl This MUST precede any other macro
dnl test/db1/Makefile])
AC_CONFIG_FILES([Makefile imports/Makefile lib/Makefile src/Makefile
- test/Makefile doc/Makefile preBuilt/Makefile])
+ test/Makefile doc/Makefile bin/Makefile])
AC_OUTPUT