@deffn without index

[Werner LEMBERG]

Due to the problems with `:' in indices I would like to have a command
to tell makeinfo that a particular `default index' isn't used.  With
`default index' I mean indices produced automatically by @deffn and
friends.

Consider the following:

  @ifnotinfo
  @deffn String :
  @stindex : 
  Umlaut.
  @end deffn
  @end ifnotinfo

  @ifinfo
  @deffn String :
  @stindex <colon>
  Umlaut.
  @end deffn
  @end ifinfo

I don't use @findex, but I still get a warning.  It seems easiest to
me to introduce a command or commands like

  @removeindex f

or

  @nofindex

to tell makeinfo that entries for `findex' should be ignored or not
generated.

The alternative to such a command would be to scan the whole info file
whether @findex is actually printed out, but then it is probably too
late to emit warning messages.

I can imagine that the disabling of default indices has other
advantages also (e.g. not producing unnecessary auxiliary index
files).

Another possibility is to introduce variants of @deffn and friends
which don't produce automatical index entries, but this would lead to
an explosion of new @def... command names which is probably not what
you want.


    Werner