| commit | 5f7d906e88d692db7d60cb8112af9a1825e95627 | |
| author | Glenn Morris <rgm@gnu.org> | |
| Sun, 11 Dec 2016 02:23:51 +0000 (10 18:23 -0800) | ||
| committer | Glenn Morris <rgm@gnu.org> | |
| Sun, 11 Dec 2016 02:23:51 +0000 (10 18:23 -0800) | ||
| tree | 7871762345089fd8d99e36212da1666d369fc827 | treesnapshot (tar.gz zip) |
| parent | 442e2f61b742b315bbaec81085df9ee4e79495b1 | commitdiff |
Bump makeinfo requirement from 4.7 to 4.13
* configure.ac: Bump makeinfo version requirement from 4.7 to 4.13.
We need at least 4.8, and that may be buggy, so go for the last
of the 4 series, which is 8 years old. (Bug#25108)
* configure.ac: Bump makeinfo version requirement from 4.7 to 4.13.
We need at least 4.8, and that may be buggy, so go for the last
of the 4 series, which is 8 years old. (Bug#25108)
| configure.ac | diffblobblamehistory |