Comment 16 for bug 1181678

Christoph Spiel (cspiel) wrote :

Made to work again in the "Stable Branch" in rev 8387f0170f7b:
Thus, the problem will be solved in the next patch-level,
i.e. version 4.1.4.

The issue does not apply to "Development Branch" because
Texinfo as source of the documentation was replaced with
pure LaTeX.