Hello Karl,
Thanks for your rapid answer.
> 1) Change the "info" program to recognize only "*Note" and not "*NOTE"
> as a hyperlink,
>
> I'm extremely reluctant to break backwards compatibility.
Did makeinfo ever generate info files with "NOTE in uppercase? Or were there
other programs doing that?
> 2) Change the "makeinfo" program to process @strong{NOTE:} just like it
> would process @strong{FOOBAR:}?
>
> I don't understand. What does it do differently, besides give the
> warning?
It also turns the colon into an underscore.
> One more personal opinion which you probably don't care about: virtually
> everything I have seen prefaced with @strong{Note} in manuals reads
> better if the "Note" is simply omitted. "Note" is semantically
> redundant.
It usually serves the purpose of highlighting a sentence. In HTML, for example,
you don't need "NOTE:" because you can put the entire sentence in a bold font.
But in plain text and info format it is not so easy to emphasize a sentence or
paragraph. (An asterisk before the paragraph and an asterisk after the paragraph
is not enough visual strengh compared to the size of the paragraph.)
Bruno
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-texinfo
