build: Fix for handling missing makeinfo.

* configure (main): Update MAKEINFO.
This commit is contained in:
Jan Nieuwenhuizen 2018-07-21 11:19:55 +02:00
parent 59c56ac72d
commit d769a3d3c1
No known key found for this signature in database
GPG Key ID: F3C1A0D9C1D65273
1 changed files with 1 additions and 0 deletions

1
configure vendored
View File

@ -355,6 +355,7 @@ Some influential environment variables:
(stdout "CC:=~a\n" (or CC ""))
(stdout "CC32:=~a\n" (or CC32 ""))
(stdout "HELP2MAN:=~a\n" (or HELP2MAN ""))
(stdout "MAKEINFO:=~a\n" (or MAKEINFO ""))
(stdout "TCC:=~a\n" (or TCC ""))
(stdout "BLOOD_ELF:=~a\n" (or BLOOD_ELF ""))
(stdout "MES_SEED:=~a\n" (or MES_SEED ""))