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. _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
