| commit | ca1de98a8baf411483dd5ab46d0c5de1ed68817f | [log] [tgz] |
|---|---|---|
| author | Theodore Ts'o <tytso@mit.edu> | Sun Sep 11 23:30:25 2016 -0400 |
| committer | Theodore Ts'o <tytso@mit.edu> | Sun Sep 11 23:30:25 2016 -0400 |
| tree | 9e0234accfe7b0cdb01ccdd5a30280499d9edffa | |
| parent | e703ba4b423b2ef7fc7da0940833fd81820ea0f5 [diff] [blame] |
Fix spurious error when both gmake and makeinfo are not available Signed-off-by: Theodore Ts'o <tytso@mit.edu>
diff --git a/configure b/configure index 7118ce3..5f7b429 100755 --- a/configure +++ b/configure
@@ -12305,7 +12305,7 @@ 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.*)