Reuben Thomas <[email protected]> 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, ready to refer > to. > > I suggest that README should make it more obvious that one needs to > consult README-dev if building from git. But that's really the only > change needed here.
I was mistakenly thinking that INSTALL was explaining what to do when the configure script was not present (i.e. See ./README* files for additional build instructions). But this is not the case and I am not sure if it would be a good idea to do so. As a consequence, I agree with your suggestion. What about something like: --8<---------------cut here---------------start------------->8--- See See the file INSTALL for building and installation instructions. If this file is not present, it means that you are using a development repository so see README-dev for preliminary build instructions. --8<---------------cut here---------------end--------------->8--- WDYT? -- Mathieu Lirzin GPG: F2A3 8D7E EB2B 6640 5761 070D 0ADE E100 9460 4D37
