From 880677043d7fe92cea616e454c045eb08b1e96fe Mon Sep 17 00:00:00 2001 From: ng0 Date: Sat, 9 Feb 2019 14:27:23 +0000 Subject: doc/man/Makefile: rename section7 leftover to new name Signed-off-by: ng0 --- doc/man/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/man') diff --git a/doc/man/Makefile.am b/doc/man/Makefile.am index d0871571d..ceb7bf68d 100644 --- 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 -- cgit v1.2.3