> > What do you think of a [EMAIL PROTECTED]' instruction, something like
> > 
> >   @[EMAIL PROTECTED] value}}
> 
> Warnings are either useful or not.  If they aren't useful, they should
> be removed; if they are useful, then turning them off goes against
> their introduction in the first place.

I don't think so.  Compare this C compilers, for example: It provides
the #pragma directive to specifically suppress warnings if the user
wishes to do so.  In the particular case of `note' I don't see any
other good solution.

> 
> >   @node breve
> >   @section breve
> > 
> >   @strong{note value}, twice as long as a whole note.  Mainly used in
> >   pre-1650 music.
> 
> Will @emph do?

Of course it will, somehow.  But this misses the point.  Having the
`note' warning is a useful thing in general but it's annoying that I
can't suppress it for the cases where it is completely nonsense.  It
is a matter of fact that the English word `note' has more than a
single meaning.  I'm quite sure that the author of this makeinfo
warning has never thought of the musical meaning.


    Werner


_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-texinfo

Reply via email to