Re: @deffn without index

[Eli Zaretskii]

On Mon, 18 Mar 2002, Werner LEMBERG wrote:

> I don't use @findex, but I still get a warning.
[...]
> I can imagine that the disabling of default indices has other
> advantages also (e.g. not producing unnecessary auxiliary index
> files).

You can already disable generation of an index by removing the 
"@printindex xx" directive (or commenting it out, or putting it inside 
@ignore).  What you want is not to disable the index generation, but to 
bypass the normal processing of the indexing command, which is something 
different.

Can't you simply filter the warnings via "fgrep -v", to remove the
warnings you don't want to see?  It sounds like a waste of effort to me to 
introduce a new feature just to work around a warning whose cause will be 
removed in a future version (Karl already said that he intended to work 
on this soon), and whose single adverse effect is a warning.