doc/man: Remove duplicate EXTRA_DIST entry for .7

diff --git a/doc/man/Makefile.am b/doc/man/Makefile.am
index 30ed96a7283b450a955560f081dfc5849fd1c717..53d0d663b064ed40d2c2d9ee269b06d732fcd06e 100644 (file)
--- 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