aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/man/Makefile.am4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/man/Makefile.am b/doc/man/Makefile.am
index e739be78b..923eaaf6b 100644
--- a/doc/man/Makefile.am
+++ b/doc/man/Makefile.am
@@ -7,10 +7,10 @@ gnunet.conf.5: gnunet.conf.5.in Makefile
7 7
8if TEXI2MDOC_GENERATION 8if TEXI2MDOC_GENERATION
9gnunet-c-tutorial.7: Makefile gnunet-tutorial.7 9gnunet-c-tutorial.7: Makefile gnunet-tutorial.7
10 @echo generated texi2mdoc output 10 @echo generated texi2mdoc output || true
11 11
12gnunet-tutorial.7: Makefile 12gnunet-tutorial.7: Makefile
13 $(SH) $(srcdir)/texi2mdoc-generation.sh 13 $(SH) $(srcdir)/texi2mdoc-generation.sh || true
14 14
15endif 15endif
16 16