diff options
author | ng0 <ng0@infotropique.org> | 2017-10-14 08:08:28 +0000 |
---|---|---|
committer | ng0 <ng0@infotropique.org> | 2017-10-14 08:08:28 +0000 |
commit | 264206651ce9d2c65d3ad6bc9c2d8587cd5d797a (patch) | |
tree | 9c0b15f88c47c5dbfc773343d337f61efc1c596c /bootstrap | |
parent | f9293c4cb2066dd887becfdee798176bf220cf18 (diff) | |
download | gnunet-264206651ce9d2c65d3ad6bc9c2d8587cd5d797a.tar.gz gnunet-264206651ce9d2c65d3ad6bc9c2d8587cd5d797a.zip |
configure.ac: Add a better error message for when makeinfo is missing,
and TODO comments on why this is not sufficient.
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions