Karl, Thank you for the hint. Would you care telling me where I should put that texinfo.tex file ?
Jean-Christophe > On May 29, 2019, at 7:23, Karl Berry <[email protected]> wrote: > > "(Index is nonexistent)" > > Most likely the texinfo.tex is from a development version that I > wrongly propagated to gnulib. If you get the texinfo.tex from > ftp.gnu.org or from gnulib now, hopefully the indexes will come back. -k
