Re: pretest time?

[Karl Berry]

    I attach a patch for that.

Thanks.

     As a convention in GNU manuals, @code{@@key} should not be used in
     index entries.

I'll look back as to why rms told me to put that in, but it's not
critical for an initial pretest in any case.

Will try to put something together next week.  I'm going to be offline
Sunday+Monday :(.

k