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
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,
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
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