@index

[Akim Demaille]

Hi!

I forgot to give the argument of one of my @indexes.  makeinfo is
happy with it, TeX proceeds but dies when it reads the TeX index.
@indexes without argument should probably die?

        Akim