[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Texinfo Windows patch: Avoid duplicate Info directories
From: |
Eli Zaretskii |
Subject: |
Re: Texinfo Windows patch: Avoid duplicate Info directories |
Date: |
Thu, 25 Dec 2014 20:23:01 +0200 |
> 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.