Make setversion.pl also change the version number of the guide
commit2708579dc6542112325b29c896b93037af79429e
authorCarsten Dominik <carsten.dominik@gmail.com>
Mon, 19 Jul 2010 11:31:14 +0000 (19 13:31 +0200)
committerCarsten Dominik <carsten.dominik@gmail.com>
Mon, 19 Jul 2010 11:31:14 +0000 (19 13:31 +0200)
tree0782bafc5f7178026dd1de8f70ffa61531575ba3
parent18dd59ebda7d6aa915e5708d34edf4ce57a96456
Make setversion.pl also change the version number of the guide
UTILITIES/set-version.pl