syncodeindex bug

[Ralph Schleicher]

\texinfoversion{2016-07-16.19}
texi2any (GNU texinfo) 6.1

Hi,

the @synindex and @syncodeindex do no longer work for TeX output.
The makeinfo command is not affected.  Here is an example input file:

synind.texi
Description: TeXInfo document

After running "texi2pdf synind.texi" or "texi2dvi synind.texi" the
symbol index in the resulting PDF or DVI file is empty.

synind.pdf
Description: Adobe PDF document

Here are the auxiliary files:

synind-aux.zip
Description: Zip archive

Thank you.

-- 
Ralph