Re: Texinfo Windows patch: Avoid duplicate Info directories

[Eli Zaretskii]

> Date: Thu, 25 Dec 2014 18:11:21 +0000
> From: Gavin Smith <address@hidden>
> Cc: Jason Hood <address@hidden>, Texinfo <address@hidden>
> 
> 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

OK, will do.