diff options
Diffstat (limited to 'Build/source/configure.ac')
-rw-r--r-- | Build/source/configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/configure.ac b/Build/source/configure.ac index 4f2416a91b8..7791d9a5e90 100644 --- a/Build/source/configure.ac +++ b/Build/source/configure.ac @@ -135,7 +135,7 @@ AM_CONDITIONAL([cross], [test "x$cross_compiling" = xyes]) AC_CONFIG_SUBDIRS([auxdir/auxsub libs utils texk]) -AC_CONFIG_FILES([Makefile]) +AC_CONFIG_FILES([Makefile doc/Makefile]) dnl Try to detect GNU make early, '-v' is verbose for BSD make. rm -f Makefile |