Updated the manual.

[splint.git] / configure.binary.ac

diff --git a/configure.binary.ac b/configure.binary.ac
index 42a6546e52393c6db37460346d8e57eaadc750c0..9be084839c55682d5959c07f4eeb392ebeeb47fc 100644 (file)
--- a/configure.binary.ac
+++ b/configure.binary.ac
@@ -201,7 +201,7 @@ dnl                  test/tests2.2/Makefile
 dnl                  test/db1/Makefile])
 
 AC_CONFIG_FILES([Makefile imports/Makefile lib/Makefile 
-                 doc/Makefile preBuilt/Makefile])
+                 doc/Makefile bin/Makefile])
 AC_OUTPUT