git pull + src/sharefiles.mk



On 8/16/11 3:53 AM, Leo Butler wrote:
>
>> Git itself suggests stash, how do we know not to follow the
>> recommendation?
> IIRC, git makes 2 suggestions and no recommendations. Stash would not be
> a wrong option in most cases.  But, as you know in the case of the files
> mentioned, they shouldn't really be under vc and one doesn't want to
> keep changes made to the local copies.
>
I wish there were a better solution.  Perhaps some more massaging of the
current automake build system will allow us not to store those files in
the repo.  That would be the ideal situation, but oddly some people want
to build maxima without going through configure/make, so some of these
files need to exist.

I will try to look at this again soon.

Ray