summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorng0 <ng0@n0.is>2019-04-01 20:15:06 +0000
committerng0 <ng0@n0.is>2019-04-01 20:15:06 +0000
commit9fbf2e434b67c3180908e4f2663e0cec5125e9cd (patch)
treeb0846603e99874fdd6f113a2120b0c86959e06b6 /doc
parentddad866ea0cbf54b1ac38976ad0248630c68e5cc (diff)
just in case
Diffstat (limited to 'doc')
-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
if TEXI2MDOC_GENERATION
gnunet-c-tutorial.7: Makefile gnunet-tutorial.7
- @echo generated texi2mdoc output
+ @echo generated texi2mdoc output || true
gnunet-tutorial.7: Makefile
- $(SH) $(srcdir)/texi2mdoc-generation.sh
+ $(SH) $(srcdir)/texi2mdoc-generation.sh || true
endif