release: don't run "make distcheck" automatically
commit9508ef35139a066171cb6aedfa63000482477495
authorStefano Lattarini <stefano.lattarini@gmail.com>
Sat, 10 Dec 2011 17:26:52 +0000 (10 18:26 +0100)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Sat, 10 Dec 2011 19:11:09 +0000 (10 20:11 +0100)
tree822e0cdb2d2eb90c79db0e6c6d7b7e3e22abe55d
parent6416c6b854a6a24070d93c426f0f668657558af8
release: don't run "make distcheck" automatically

* Makefile.am (git-dist): The developers should test extensively
before finally creating the release tarball; so don't run "make
distcheck" on their behalf here; instead ...
* HACKING (Release procedure): ... state here that "make check"
and "make distcheck" should be run before calling "make git-dist".
ChangeLog
HACKING
Makefile.am
Makefile.in