diff options
author | ng0 <ng0@n0.is> | 2019-02-09 14:20:00 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-02-09 14:22:54 +0000 |
commit | cf3fe60e3977d7631996089377a494e25d191726 (patch) | |
tree | bb7b9a31a5938aa8a3dcffa51e6b748981ee21b0 /doc | |
parent | e4cfaf779ee43f32e7c9d3f3190279e02aa05702 (diff) | |
download | gnunet-cf3fe60e3977d7631996089377a494e25d191726.tar.gz gnunet-cf3fe60e3977d7631996089377a494e25d191726.zip |
configure: don't check for makeinfo version. rename section7 to texi2mdoc-generation
Signed-off-by: ng0 <ng0@n0.is>
Diffstat (limited to 'doc')
-rw-r--r-- | doc/handbook/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/handbook/Makefile.am b/doc/handbook/Makefile.am index d12ad1af8..8be033f23 100644 --- a/doc/handbook/Makefile.am +++ b/doc/handbook/Makefile.am | |||
@@ -138,7 +138,7 @@ version.texi/replacement/revert: | |||
138 | @echo "@set VERSION GPACKAGE_VERSION" > gversion.texi | 138 | @echo "@set VERSION GPACKAGE_VERSION" > gversion.texi |
139 | @echo "@set EDITION GPACKAGE_VERSION" >> gversion.texi | 139 | @echo "@set EDITION GPACKAGE_VERSION" >> gversion.texi |
140 | 140 | ||
141 | if SECTION7 | 141 | if TEXI2MDOC_GENERATION |
142 | gnunet-documentation.7: version.texi/replacement | 142 | gnunet-documentation.7: version.texi/replacement |
143 | @echo Attempting to output an mdoc formatted section 7 document | 143 | @echo Attempting to output an mdoc formatted section 7 document |
144 | @texi2mdoc -I$(pwd):$(pwd)/chapters gnunet.texi > ../man/gnunet-documentation.7 | 144 | @texi2mdoc -I$(pwd):$(pwd)/chapters gnunet.texi > ../man/gnunet-documentation.7 |