[help-texinfo] No index in PDF manual

[Mohammad Akhlaghi]

Dear Texinfo developers,

I just noticed that recently, the index of Gnuastro's PDF manual isn't 
created (see the last two pages of the output PDF below):
http://akhlaghi.org/gnuastro.pdf

However, it worked finely on my system until relatively recently (latest 
stable Gnuastro release, which I also built with `make pdf'):
https://www.gnu.org/software/gnuastro/manual/gnuastro.pdf

I must add that this problem doesn't happen in the Info manual (which 
contains an index).

When I looked at the output of `make pdf' (attached `make-pdf.txt'), it 
says: "No file gnuastro.fns." and "No file gnuastro.cps.". So I guess 
the problem is in `texindex'. I have `texindex' installed (as part of 
Texinfo 6.6).

I wanted to see if you could help me find the source of the problem and 
fix it for the next release?

The texinfo source of Gnuastro's manual is available here:
https://git.savannah.gnu.org/cgit/gnuastro.git/plain/doc/gnuastro.texi

I am using Texinfo 6.6 and TeX 3.14159265 (TeX Live 2018). The list of 
my TeX Live packages also attached (`texlive-packages.txt').

Thank you very much for all the great work on Texinfo,
Cheers,
Mohammad

make-pdf.txt
Description: Text document

texlive-packages.txt
Description: Text document