Re: Failure building Emacs on WSL

[Eli Zaretskii]

> Date: Thu, 1 Feb 2018 16:38:11 +0100 (CET)
> From: Angelo Graziosi <address@hidden>
> 
>   configure: error: You do not seem to have makeinfo >= 4.13, and your
>   source tree does not seem to have pre-built manuals in the 'info' directory.
>   Either install a suitable version of makeinfo, or re-run configure
>   with the '--without-makeinfo' option to build without the manuals.
>   GNUmakefile:72: set di istruzioni per l'obiettivo "Makefile" non riuscito
>   make: *** [Makefile] Errore 1
> 
> This didn't happened less than a month ago.. What changed? 

Well, do you have makeinfo >= 4.13?  If not, then the build process
now identifies this problem correctly where it previously failed to do
so.

If you do have makeinfo >= 4.13, then it's some kind of bug in the
configure script.