From: ng0 <ng0@n0.is>
Date: Sun, 27 Oct 2019 12:57:28 +0000 (+0000)
Subject: doc/man: Remove duplicate EXTRA_DIST entry for .7
X-Git-Tag: v0.11.7~9
X-Git-Url: https://git.librecmc.org/?a=commitdiff_plain;h=0a84fe50b66c50e4cad0f83de48d4588cf5dff03;p=oweals%2Fgnunet.git

doc/man: Remove duplicate EXTRA_DIST entry for .7
---

diff --git a/doc/man/Makefile.am b/doc/man/Makefile.am
index 30ed96a72..53d0d663b 100644
--- a/doc/man/Makefile.am
+++ b/doc/man/Makefile.am
@@ -79,7 +79,3 @@ EXTRA_DIST = ${man_MANS} \
  gnunet.conf.5.in \
  texi2mdoc-generation.sh \
  README
-
-if TEXI2MDOC_GENERATION
-EXTRA_DIST += gnunet-documentation.7 gnunet-c-tutorial.7
-endif