From 0a84fe50b66c50e4cad0f83de48d4588cf5dff03 Mon Sep 17 00:00:00 2001 From: ng0 Date: Sun, 27 Oct 2019 12:57:28 +0000 Subject: doc/man: Remove duplicate EXTRA_DIST entry for .7 --- doc/man/Makefile.am | 4 ---- 1 file changed, 4 deletions(-) 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 -- cgit v1.2.3