Re: Texinfo Windows patch: Avoid duplicate Info directories

2014-12-26 Thread Eli Zaretskii
> Date: Thu, 25 Dec 2014 20:23:01 +0200 > From: Eli Zaretskii > Cc: jad...@yahoo.com.au, bug-texinfo@gnu.org > > > Please go ahead and commit any of the changes you've posted for > > Windows > > OK, will do. Done.

Re: Texinfo Windows patch: Avoid duplicate Info directories

2014-12-25 Thread Eli Zaretskii
> Date: Thu, 25 Dec 2014 18:11:21 + > From: Gavin Smith > Cc: Jason Hood , Texinfo > > On Thu, Dec 25, 2014 at 3:55 PM, Eli Zaretskii wrote: > >> Date: Fri, 07 Nov 2014 17:55:36 +1000 > >> From: Jason Hood > >> > >> * enhances the gnulib stat replacement to provide meaningful values for >

Re: Texinfo Windows patch: Avoid duplicate Info directories

2014-12-25 Thread Gavin Smith
On Thu, Dec 25, 2014 at 3:55 PM, Eli Zaretskii wrote: >> Date: Fri, 07 Nov 2014 17:55:36 +1000 >> From: Jason Hood >> >> * 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 t

Re: Texinfo Windows patch: Avoid duplicate Info directories

2014-12-25 Thread Eli Zaretskii
> Date: Fri, 07 Nov 2014 17:55:36 +1000 > From: Jason Hood > > * 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