diff options
| -rw-r--r-- | autogen/Makefile.in | 2 | ||||
| -rwxr-xr-x | autogen/configure | 7 |
2 files changed, 9 insertions, 0 deletions
diff --git a/autogen/Makefile.in b/autogen/Makefile.in index 0fa0710d725..b28bf208694 100644 --- a/autogen/Makefile.in +++ b/autogen/Makefile.in @@ -473,6 +473,8 @@ IMAGEMAGICK_CFLAGS = @IMAGEMAGICK_CFLAGS@ IMAGEMAGICK_LIBS = @IMAGEMAGICK_LIBS@ INCLUDE_NEXT = @INCLUDE_NEXT@ INCLUDE_NEXT_AS_FIRST_DIRECTIVE = @INCLUDE_NEXT_AS_FIRST_DIRECTIVE@ +INFO_EXT = @INFO_EXT@ +INFO_OPTS = @INFO_OPTS@ INSTALL = @INSTALL@ INSTALL_DATA = @INSTALL_DATA@ INSTALL_INFO = @INSTALL_INFO@ diff --git a/autogen/configure b/autogen/configure index c207cff105e..a8c8e657a44 100755 --- a/autogen/configure +++ b/autogen/configure @@ -1182,6 +1182,8 @@ UNEXEC_OBJ C_SWITCH_MACHINE LD_SWITCH_SYSTEM CANNOT_DUMP +INFO_OPTS +INFO_EXT HAVE_MAKEINFO GZIP_PROG INSTALL_INFO @@ -8238,6 +8240,11 @@ with the \`--without-makeinfo' option to build without the manuals. " "$LINENO" fi +INFO_EXT=.info +INFO_OPTS=--no-split + + + if test x$GCC = xyes; then test "x$GCC_LINK_TEST_OPTIONS" != x && \ |