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 |