Re: building the docs

[Eli Zaretskii]

> From: Jean-Christophe Helary <address@hidden>
> Date: Thu, 16 May 2019 15:59:11 +0900
> 
>  Not sure I understand: you get no Index at all, or do you get an empty Index?
> 
> I get an index page with (Index is nonexistent) instead of an index.

Then I cannot reproduce this with a recent master.  I guess it's
something related to your installation of TeX or Texinfo.  Does
elisp.log say something about the index?