Re: @strong{NOTE}

[Bruno Haible]

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