diff options
-rw-r--r-- | doc/man/Makefile.am | 4 |
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 | ||
8 | if TEXI2MDOC_GENERATION | 8 | if TEXI2MDOC_GENERATION |
9 | gnunet-c-tutorial.7: Makefile gnunet-tutorial.7 | 9 | gnunet-c-tutorial.7: Makefile gnunet-tutorial.7 |
10 | @echo generated texi2mdoc output | 10 | @echo generated texi2mdoc output || true |
11 | 11 | ||
12 | gnunet-tutorial.7: Makefile | 12 | gnunet-tutorial.7: Makefile |
13 | $(SH) $(srcdir)/texi2mdoc-generation.sh | 13 | $(SH) $(srcdir)/texi2mdoc-generation.sh || true |
14 | 14 | ||
15 | endif | 15 | endif |
16 | 16 | ||