diff src/Makefile.in @ 110952:495ef3733d20

* make-dist: Replace grep with sed when determining $version.
author Glenn Morris <rgm@gnu.org>
date Tue, 12 Oct 2010 01:05:28 -0700
parents 158de1f7d257
children 815b78211543
line wrap: on
line diff