diff options
author | Gary V. Vaughan <gary@gnu.org> | 2013-09-15 14:24:36 +0700 |
---|---|---|
committer | Gary V. Vaughan <gary@gnu.org> | 2013-09-15 14:33:49 +0700 |
commit | acc37a2bcbd4ef0a87fed76f801a9a5bb67dad08 (patch) | |
tree | 60a7d92d31b4d6ab095ac75cb9e75b9e9a1faa6b | |
parent | 851b61957df4ae6bd3f7b5fd7a79c3bf3fc4d46b (diff) | |
download | m4-acc37a2bcbd4ef0a87fed76f801a9a5bb67dad08.tar.gz |
bootstrap: require newer texinfo release.
* bootstrap.conf (buildreq): Bump required makeinfo binary
release number to 4.13 to support --build-dir option.
Signed-off-by: Gary V. Vaughan <gary@gnu.org>
-rw-r--r-- | ChangeLog | 4 | ||||
-rw-r--r-- | bootstrap.conf | 2 |
2 files changed, 5 insertions, 1 deletions
@@ -1,5 +1,9 @@ 2013-09-15 Gary V. Vaughan <gary@gnu.org> + bootstrap: require newer texinfo release. + * bootstrap.conf (buildreq): Bump required makeinfo binary + release number to 4.13 to support --bulid-dir option. + bootstrap: don't double-specify --no-changelog to gnulib-tool. * bootstrap.conf (gnulib_tool_option_extras): Rename from this... diff --git a/bootstrap.conf b/bootstrap.conf index b312a6e5..4364db9d 100644 --- a/bootstrap.conf +++ b/bootstrap.conf @@ -27,7 +27,7 @@ # and release Libtool. buildreq=' help2man 1.29 http://www.gnu.org/s/help2man - makeinfo 4.8 http://www.gnu.org/s/texinfo + makeinfo 4.13 http://www.gnu.org/s/texinfo xz - http://tukaani.org/xz ' |