diff options
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/configure.ac b/configure.ac index fdcef28..438c549 100644 --- a/configure.ac +++ b/configure.ac @@ -114,9 +114,10 @@ if test "x$GAWK" = "xno" ; then fi AC_CONFIG_HEADERS([config.h]) -AC_CONFIG_FILES([config.ml +AC_CONFIG_FILES([Makefile debian/changelog - Makefile + helper/Makefile lib/Makefile - helper/Makefile]) + src/config.ml + src/Makefile]) AC_OUTPUT |