On Mon, 23 Sep 2013, Niels Möller wrote:

Marc Glisse <marc.gli...@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.

--
Marc Glisse
_______________________________________________
gmp-devel mailing list
gmp-devel@gmplib.org
http://gmplib.org/mailman/listinfo/gmp-devel

Reply via email to