From 9fbf2e434b67c3180908e4f2663e0cec5125e9cd Mon Sep 17 00:00:00 2001 From: ng0 Date: Mon, 1 Apr 2019 20:15:06 +0000 Subject: just in case --- doc/man/Makefile.am | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc/man') 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 -- cgit v1.2.3