This isn't valid HTML 4.01
What's not valid about <small>? It's also used for @sc.Anyway, there's nothing deep about the <small>, it was just inserted because someone (I'm not sure who any more) thought the ... looked better that way. (See cm_dots in makeinfo/cmds.c.) What do you suggest be output for @dots (and @enddots)? Thanks, k _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
