Hi Akim, The following patch is therefore multi-purpose; again I'm sorry, but I cannot easily split it.
Sure. I installed it, and the result still works for me on the Texinfo manuals :). We'll see if anyone else runs into problems. Thanks as always (and sorry for the delayed reply). Cheers, Karl _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo help-texinfo@gnu.org http://lists.gnu.org/mailman/listinfo/help-texinfo