From 15a3a09d508eed0f6d2612dd42d1b8ea720eb036 Mon Sep 17 00:00:00 2001
From: Nils Gillmann <ng0@n0.is>
Date: Fri, 7 Sep 2018 15:41:06 +0000
Subject: doc: start work on mdoc generation support

Signed-off-by: Nils Gillmann <ng0@n0.is>
---
 doc/man/Makefile.am | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'doc/man')

diff --git a/doc/man/Makefile.am b/doc/man/Makefile.am
index 37f881d60..d0871571d 100644
--- a/doc/man/Makefile.am
+++ b/doc/man/Makefile.am
@@ -46,3 +46,8 @@ man_MANS = \
   gnunet-zoneimport.1
 
 EXTRA_DIST = ${man_MANS}
+
+if SECTION7
+EXTRA_DIST += gnunet-documentation.7 \
+	      gnunet-c-tutorial.7
+endif
-- 
cgit v1.2.3