Re: [PATCH] README: fix installation instructions

2018-02-08 Thread Christopher Díaz Riveros
El jue, 08-02-2018 a las 22:56 +, Reuben Thomas escribió: > On 8 February 2018 at 22:53, Mathieu Lirzin wrote: > > --8<---cut here---start->8--- > > See > > See the file INSTALL for building and installation instructions. > > If > > this file

Re: [PATCH] README: fix installation instructions

2018-02-08 Thread Mathieu Lirzin
Reuben Thomas writes: > INSTALL is a generated file (it comes from gnulib). It should not > therefore be checked into git unless there's a really good > reason. Note that it *should* be (and is!) distributed, so that when a > user unpacks a distribution tarball, it will be there,

Re: [PATCH] README: fix installation instructions

2018-02-08 Thread Reuben Thomas
On 8 February 2018 at 16:57, Mathieu Lirzin wrote: > Hello, > > Christopher Diaz Riveros writes: > > > Installation and building instructions point to INSTALL file, which is > > ignored in .gitignore. Given the fact that Installation and building > > process

Re: [PATCH] README: fix installation instructions

2018-02-08 Thread Mathieu Lirzin
Hello, Christopher Diaz Riveros writes: > Installation and building instructions point to INSTALL file, which is > ignored in .gitignore. Given the fact that Installation and building > process is already covered in README-dev, changing the instruction in > README seems