diff options
author | P. J. McDermott <pjm@nac.net> | 2014-01-28 18:06:21 (EST) |
---|---|---|
committer | P. J. McDermott <pjm@nac.net> | 2014-01-28 18:07:49 (EST) |
commit | 78eecaeb1eaf23551d85afa18879dab5ef9b24ab (patch) | |
tree | e08c38b690fe1e5d21fdad2d10a98cdc1aef8bd8 /control | |
parent | 2c87969568a552b7d17c69aef51a891528d54359 (diff) |
build: Build with "MAKEINFO=true".
See <https://sourceware.org/bugzilla/show_bug.cgi?id=15345>.
Diffstat (limited to 'control')
0 files changed, 0 insertions, 0 deletions