This patch changes makeinfo to 
    just emit a content-free <index> tag for a @printindex, leaving to the 
    docbook processor to do the actual formatting.

I installed it.  Thanks Per.


_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-texinfo

Reply via email to