Re: Make output of texinfo index deterministic

[Gavin Smith]

On 29 June 2015 at 21:08, Chris Lamb <address@hidden> wrote:
> (Replying quickly, apologies for terseness..)
>
>> Do you have a list of manuals that exhibit this issue, and an
>> explanation on how this can be triggered?
>
> https://reproducible.debian.net/dbd/unstable/amd64/mmm-mode_0.5.2-2.debbindiff.html
>
> or via http://mmm-mode.sourceforge.net/

A simple input file with the problem with the output mentioned is at
the bottom of the email.

In this output, and in the output at the debian link, the two index
entries are distinguished with an added " <1>". The only problem is
that the " <1>" is not consistently added to the same index entry.

$ cat doubleindex.texi
@syncodeindex vr fn

@node Top
@top

@deffn Command mmm-mode @var{arg}
Toggle the state of MMM Mode in the current buffer. If @var{arg} is
supplied, turn MMM Mode on if and only if @var{arg} is positive.
@end deffn

@defvar mmm-mode
This variable represents whether MMM Mode is on in the current buffer.
Do not set this variable directly; use one of the above functions.
@end defvar

@printindex fn
$ makeinfo doubleindex.texi && cat doubleindex.info
This is doubleindex.info, produced by makeinfo version 6.0 from
doubleindex.texi.


File: doubleindex.info,  Node: Top,  Up: (dir)

 -- Command: mmm-mode ARG
     Toggle the state of MMM Mode in the current buffer.  If ARG is
     supplied, turn MMM Mode on if and only if ARG is positive.

 -- Variable: mmm-mode
     This variable represents whether MMM Mode is on in the current
     buffer.  Do not set this variable directly; use one of the above
     functions.

[inde]
* Menu:

* mmm-mode:                              Top.                   (line 3)
* mmm-mode <1>:                          Top.                   (line 7)



Tag Table:
Node: Top83

End Tag Table
$ makeinfo doubleindex.texi && cat doubleindex.info
This is doubleindex.info, produced by makeinfo version 6.0 from
doubleindex.texi.


File: doubleindex.info,  Node: Top,  Up: (dir)

 -- Command: mmm-mode ARG
     Toggle the state of MMM Mode in the current buffer.  If ARG is
     supplied, turn MMM Mode on if and only if ARG is positive.

 -- Variable: mmm-mode
     This variable represents whether MMM Mode is on in the current
     buffer.  Do not set this variable directly; use one of the above
     functions.

[inde]
* Menu:

* mmm-mode:                              Top.                   (line 3)
* mmm-mode <1>:                          Top.                   (line 7)



Tag Table:
Node: Top83

End Tag Table
$ makeinfo doubleindex.texi && cat doubleindex.info
This is doubleindex.info, produced by makeinfo version 6.0 from
doubleindex.texi.


File: doubleindex.info,  Node: Top,  Up: (dir)

 -- Command: mmm-mode ARG
     Toggle the state of MMM Mode in the current buffer.  If ARG is
     supplied, turn MMM Mode on if and only if ARG is positive.

 -- Variable: mmm-mode
     This variable represents whether MMM Mode is on in the current
     buffer.  Do not set this variable directly; use one of the above
     functions.

[inde]
* Menu:

* mmm-mode:                              Top.                   (line 7)
* mmm-mode <1>:                          Top.                   (line 3)



Tag Table:
Node: Top83

End Tag Table
$