commit 9fbf2e434b67c3180908e4f2663e0cec5125e9cd parent ddad866ea0cbf54b1ac38976ad0248630c68e5cc Author: ng0 <ng0@n0.is> Date: Mon, 1 Apr 2019 20:15:06 +0000 just in case Diffstat:
| M | doc/man/Makefile.am | | | 4 | ++-- |
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git 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