mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-22 07:12:39 +00:00
* configure.ac: Fall back to true' if makeinfo' does not exist.
This commit is contained in:
1 parent
9da068a5dc
commit
51fa856c58
2 files changed
+5
-1
No files matched your search
+1
-1
@@ -246,7 +246,7 @@ else
|
||||
fi
|
||||
|
||||
# These are not a "must".
|
||||
AC_PATH_PROG(MAKEINFO, makeinfo)
|
||||
AC_PATH_PROGS(MAKEINFO, makeinfo true)
|
||||
|
||||
#
|
||||
# Checks for host programs.
|
||||
|
||||
Reference in new issue
Block a user