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. E.g., I think the COPYING file should stay in the
repo, even if automake -a currently installs an identical file.

Regards,
/Niels

-- 
Niels Möller. PGP-encrypted email is preferred. Keyid C0B98E26.
Internet email is subject to wholesale government surveillance.
_______________________________________________
gmp-devel mailing list
gmp-devel@gmplib.org
http://gmplib.org/mailman/listinfo/gmp-devel

Reply via email to