Re: @deffn without index

[Werner LEMBERG]

> 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.

But I can't stop the creation of the default auxiliary index files.

> Can't you simply filter the warnings via "fgrep -v", to remove the
> warnings you don't want to see?

Of course I can, but why should I? :-) To be serious, I think that
Karl's suggestion of removing the warning is currently the optimal
solution.


    Werner