I don't remember why is it done so, but I'd suggest to be
extra-careful with changing that, especially in a bug-fix release.I guess if there is a description, then the : makes sense. Some Name: Some description. If there is no description, then it's superfluous. As you suggest, don't think I'll change it now :). Thanks, k _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
