diff options
author | Nils Gillmann <ng0@n0.is> | 2018-10-21 14:33:57 +0000 |
---|---|---|
committer | Nils Gillmann <ng0@n0.is> | 2018-10-21 14:33:57 +0000 |
commit | e0785bb1b2af91a38d161bda7a4075338579441a (patch) | |
tree | c5772465141c95acf8b7fa7483dafb7e317169e0 /README | |
parent | 811d311f4c04a8a34877ede28d825b374233aea2 (diff) | |
download | gnunet-e0785bb1b2af91a38d161bda7a4075338579441a.tar.gz gnunet-e0785bb1b2af91a38d161bda7a4075338579441a.zip |
If texi2mdoc is not found, throw a warning when --enable-section7 is true
Signed-off-by: Nils Gillmann <ng0@n0.is>
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions