marc.glisse at inria.fr
Mon Sep 23 15:37:20 CEST 2013
On Mon, 23 Sep 2013, Niels Möller wrote:
> Marc Glisse <marc.glisse at inria.fr> writes:
>> It seems that it would be
>> easiest to do what the comment in .bootstrap says, remove those files
>> from the repository and use automake -a to make sure we have a
>> consistent version of everything (no -f so it doesn't override our
>> specific INSTALL, config.guess, etc).
> Makes sense to me, as long as removing files in the repo is decided on a
> case-by-case basis.
Do you agree with the initial list I proposed?
> E.g., I think the COPYING file should stay in the repo, even if automake
> -a currently installs an identical file.
Ah, I hadn't noticed COPYING, precisely because the file is identical ;-)
Ok with keeping it if you want to...
I did an automake -a -c -f, followed by hg status to see what had changed,
and pruned that list a bit.
More information about the gmp-devel