just in case

author ng0 <ng0@n0.is>

Mon, 1 Apr 2019 20:15:06 +0000 (20:15 +0000)

committer ng0 <ng0@n0.is>

Mon, 1 Apr 2019 20:15:06 +0000 (20:15 +0000)
author ng0 <ng0@n0.is>
Mon, 1 Apr 2019 20:15:06 +0000 (20:15 +0000)
committer ng0 <ng0@n0.is>
Mon, 1 Apr 2019 20:15:06 +0000 (20:15 +0000)
diff --git a/doc/man/Makefile.am b/doc/man/Makefile.am

index e739be78bc92676d07634a75691fc86b8fb0e8f7..923eaaf6b7af555c27a04bda86129cb130339074 100644 (file)
--- 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