Bug#790065: Make output of texinfo index deterministic

To: Norbert Preining <preining@logic.at>, bug-texinfo@gnu.org
Cc: 790065@bugs.debian.org
Subject: Bug#790065: Make output of texinfo index deterministic
From: Chris Lamb <lamby@debian.org>
Date: Sun, 28 Jun 2015 23:57:40 +0100
Message-id: <[🔎] 1435532260.3016867.309994233.430EC90D@webmail.messagingengine.com>
Reply-to: Chris Lamb <lamby@debian.org>, 790065@bugs.debian.org
In-reply-to: <[🔎] 20150628223626.GL13412@auth.logic.tuwien.ac.at>
References: <[🔎] 20150628223626.GL13412@auth.logic.tuwien.ac.at>

> I forward you the patch by Chris Lamb (in Cc) in case you consider it worth including.

(Probably not needed here but just in case it helps I have signed the
GNU copyright assignment under lamby@gnu.org / chris@chris-lamb.co.uk)


Regards,

-- 
      ,''`.
     : :'  :     Chris Lamb
     `. `'`      lamby@debian.org / chris-lamb.co.uk
       `-

Reply to:

References:
- Bug#790065: Make output of texinfo index deterministic
  - From: Norbert Preining <preining@logic.at>

Prev by Date: [texlive-nonbin] branch master updated (01368d7 -> 74ceeca)
Next by Date: Bug#790294: libkpathsea-dev: c-auto.h header missing
Previous by thread: Bug#790065: Make output of texinfo index deterministic
Next by thread: Bug#790065: Make output of texinfo index deterministic
Index(es):
- Date
- Thread