doc/man/Makefile: rename section7 leftover to new name

Signed-off-by: ng0 <ng0@n0.is>

diff --git a/doc/man/Makefile.am b/doc/man/Makefile.am
index d0871571d125194c5eea93b0f68f8d3e12f8f40c..ceb7bf68d0def7fdf3ad61cca4fca0c3020fa010 100644 (file)
--- a/doc/man/Makefile.am
+++ b/doc/man/Makefile.am
@@ -47,7 +47,7 @@ man_MANS = \
 
 EXTRA_DIST = ${man_MANS}
 
-if SECTION7
+if TEXI2MDOC_GENERATION
 EXTRA_DIST += gnunet-documentation.7 \
              gnunet-c-tutorial.7
 endif