Re: Texinfo Windows patch: Avoid duplicate Info directories

[Gavin Smith]

On Thu, Dec 25, 2014 at 3:55 PM, Eli Zaretskii <address@hidden> wrote:
>> Date: Fri, 07 Nov 2014 17:55:36 +1000
>> From: Jason Hood <address@hidden>
>>
>> * enhances the gnulib stat replacement to provide meaningful values for
>>   st_ino & st_dev, thus enabling detection of duplicate directories;
>
> This was reported by Jason to Gnulib, but I see no responses to that
> message
> (http://lists.gnu.org/archive/html/bug-gnulib/2014-11/msg00025.html)
> till this day.  Meanwhile, I propose the patch below, which achieves
> the same effect by using file-name comparison.  I think we should use
> the below regardless of whether the Gnulib folks get their act
> together or not.
>
> OK to commit?

Please go ahead and commit any of the changes you've posted for
Windows - I don't have time to look over them at the moment. In
general it should be okay to commit; there can always be discussion
afterwards if there are problems. The only time I imagine there could
be problems with multiple commits at once is if there are conflicts
between different people's work (I've found that svn can't even handle
a simple merge conflict on a ChangeLog, at least I haven't found an
easy way of doing so so far), so I will try to post in future if I am
planning any large-scale changes that could conflict with other
commits. (I will note I am not planning any such large-scale changes
in the immediate future.)