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 _______________________________________________ Groff mailing list Groff@gnu.org http://lists.gnu.org/mailman/listinfo/groff
