Re: @deffn without index

[Eli Zaretskii]

On Mon, 18 Mar 2002, Werner LEMBERG wrote:

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

You mean, files created by TeX?  Why is that a problem?

> > 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? :-)

Because you are annoyed by a warning that makeinfo rightfully prints.