Gary V. Vaughan wrote: ... > Okay to push? Yes, but with the following changes applied: use this instead, per today's discussion:
make -k maintainer-clean || { ./configure && make maintainer-clean; }
and change "incase" to "in case" in the commit log and ChangeLog:
> readme-release: several release instructions improvements.
>
> * README-release: Don't git pull all branches when only master
> is needed for the release process.
> Don't try to run ./configure right after git pull incase files
...
