From ca1de98a8baf411483dd5ab46d0c5de1ed68817f Mon Sep 17 00:00:00 2001 From: Theodore Ts'o Date: Sun, 11 Sep 2016 23:30:25 -0400 Subject: [PATCH] Fix spurious error when both gmake and makeinfo are not available Signed-off-by: Theodore Ts'o --- configure | 2 +- configure.ac | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/configure b/configure index 7118ce3..5f7b429 100755 --- a/configure +++ b/configure @@ -12305,7 +12305,7 @@ fi if test "_$MAKEINFO" = "_"; then - MAKEINFO="@echo Makeinfo is missing. Info documentation will not be built.;true" + MAKEINFO="echo Makeinfo is missing. Info documentation will not be built." else case "$MAKEINFO" in */missing.*) diff --git a/configure.ac b/configure.ac index 1c73301..9da7b86 100644 --- a/configure.ac +++ b/configure.ac @@ -877,7 +877,7 @@ AC_CHECK_TOOL(RANLIB, ranlib, :) AC_CHECK_TOOL(STRIP, strip, :) AC_CHECK_PROG(MAKEINFO, makeinfo, makeinfo, ) if test "_$MAKEINFO" = "_"; then - MAKEINFO="@echo Makeinfo is missing. Info documentation will not be built.;true" + MAKEINFO="echo Makeinfo is missing. Info documentation will not be built." else case "$MAKEINFO" in */missing.*) -- 1.8.3.1