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
