diff options
| author | Eric Blake <eblake@redhat.com> | 2011-07-12 12:05:47 +0200 |
|---|---|---|
| committer | Jim Meyering <meyering@redhat.com> | 2011-07-12 15:40:45 +0200 |
| commit | bf0771a1c5d6bf609956a7338c7415dc0c7b9a86 (patch) | |
| tree | bd7c279acd6310d25c76c6740bbfc6c1079467ee /gnulib | |
| parent | 6cafe09c333f989469ff77dc2b3efb87cd080f43 (diff) | |
| download | coreutils-bf0771a1c5d6bf609956a7338c7415dc0c7b9a86.tar.xz | |
build: list makeinfo 4.13 as a build-from-git requirement
* bootstrap.conf (buildreq): List 4.13 as minimum makeinfo version.
Prompted by Joachim Schmitz's report in http://debbugs.gnu.org/9050.
Diffstat (limited to 'gnulib')
0 files changed, 0 insertions, 0 deletions