* make-dist: Add a --tests option, to include test/ (backport from trunk)
authorGlenn Morris <rgm@gnu.org>
Thu, 25 Jul 2013 07:03:33 +0000 (00:03 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 25 Jul 2013 07:03:33 +0000 (00:03 -0700)
commitff62aabc622fdf35aaa878fd284f446de85fc5fd
tree8a8f83869906fafe8012751fe95995a8b950e012
parent7add5a8a7a65bdff16f6f4eeaad9074996683dd0
* make-dist: Add a --tests option, to include test/   (backport from trunk)
ChangeLog
make-dist