Hi Christian,
The following diff shows the changes needed to make the manualThank you very much. I applied the patch. Best, Karl _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo/ [email protected] http://lists.gnu.org/mailman/listinfo/bug-texinfo
