> yes it is a bug, it looks like post-grohtml is not seeing the font > change during the heading and therefore ignoring the second use of > fixed font.. > > thanks for the report - below is a patch which fixes the bug,
Gaius,
I've added you to the groff developers. Please check it in by
yourself!
Werner
_______________________________________________
Groff mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/groff
