* make-dist: Replace grep with sed when determining $version.
authorGlenn Morris <rgm@gnu.org>
Tue, 12 Oct 2010 08:05:28 +0000 (01:05 -0700)
committerGlenn Morris <rgm@gnu.org>
Tue, 12 Oct 2010 08:05:28 +0000 (01:05 -0700)
commit3868ea09219560d0f417243c746ed52c80e7b38a
tree48b93a26712fc8f4df994175ae990bac297107c8
parent37ea9179e5a37f1ee5f43ea8a6b30aa68b975c1f
* make-dist: Replace grep with sed when determining $version.
make-dist