Perhaps it is possible to change them to roman, providing an
@italicleaders command for backwards compatibility...I changed the leaders back to regular periods. Didn't bother with an option. We'll see if anyone notices. karl _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo/ [email protected] http://lists.gnu.org/mailman/listinfo/bug-texinfo
