Re: master ab3cb717a08: ; "time stamp" also can be spelled "timestamp"

[Stephen Gildea]

Stefan Kangas <stefankangas@gmail.com> wrote:

>   >  @node Time Stamps
>   >  @subsection Updating Time Stamps Automatically
>   >  @cindex time stamps
>   > +@cindex timestamps
>   >  @cindex modification dates
>   >  @cindex last modified time
>   
>   Should this be in @ifnottex perhaps, to avoid a duplicate
>   entry in the printed index?

Texinfo does not put index entries in "dictionary order"
(that is, spaces are significant to Texinfo).  As it happens,
"time stamps" and "timestamps" have two entries between them.

How far apart in the index do two entries need to be for
them both to be useful?  Three seems borderline, and I could
go either way.

 < Stephen