diff options
| author | Ben Elliston <bje@gnu.org> | 2011-03-14 23:36:57 +1100 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2011-03-14 23:36:57 +1100 |
| commit | f13cc0cd29760a5c5bcd2f2d0e58b927e5e429da (patch) | |
| tree | db368613311ec7f3f9ba71db08271c034ed31b6c /doc/dejagnu.texi | |
| parent | 7fc900655a9d55314b2b12ba63e206ed412a0ab8 (diff) | |
| download | dejagnu-f13cc0cd29760a5c5bcd2f2d0e58b927e5e429da.zip dejagnu-f13cc0cd29760a5c5bcd2f2d0e58b927e5e429da.tar.gz dejagnu-f13cc0cd29760a5c5bcd2f2d0e58b927e5e429da.tar.bz2 | |
* runtest.exp (frame_version): Set to 1.5.1.
* configure.ac (AC_INIT): Set version to 1.5.1.
* configure: Regenerate.
* doc/dejagnu.xml (appversion, version): Set to 1.5.1.
* doc/dejagnu.texi: Regenerate.
Diffstat (limited to 'doc/dejagnu.texi')
| -rw-r--r-- | doc/dejagnu.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/dejagnu.texi b/doc/dejagnu.texi index 1e3cf7d..904cb99 100644 --- a/doc/dejagnu.texi +++ b/doc/dejagnu.texi @@ -3375,7 +3375,7 @@ execute the configure script from the source tree like this: @example - ../dejagnu-1.4.5/configure + ../dejagnu-1.5.1/configure @end example |