Hello Dave, Stefano, * Dave Hart wrote on Fri, Jul 16, 2010 at 03:47:53AM CEST: > On Thu, Jul 15, 2010 at 22:59 UTC, Stefano Lattarini wrote: > > At Thursday 15 July 2010, Ralf Wildenhues wrote: > >> No, the patch should not modify initial double slash, that is not > >> the same as a single slash in general. > > Why? > > I hope it's not rude for me to dive in from a lurking position.
Not at all, especially since your answer is spot-on. info Autoconf "File System Conventions" hints at it. Thanks, Ralf