[gnunet] branch master updated: -f

[gnunet]

This is an automated email from the git hooks/post-receive script.

martin-schanzenbach pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new e0d7f6335 -f
e0d7f6335 is described below

commit e0d7f6335d48aafe3dbdeab250f875a2ce864c79
Author: Martin Schanzenbach <schanzen@gnunet.org>
AuthorDate: Sun Oct 2 00:36:59 2022 +0900

    -f
---
 bootstrap | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bootstrap b/bootstrap
index c31b39023..842312c8b 100755
--- a/bootstrap
+++ b/bootstrap
@@ -109,7 +109,7 @@ sphinx_update()
       cwd=$PWD
       cd contrib/sphinx || exit 1
       # GNS
-      make all >/dev/null || exit 1
+      make all || exit 1
       cp -r _build/html ../../doc/handbook/ || exit 1
       cp -r _build/texinfo ../../doc/handbook/ || exit 1
       cp -r _build/man/* ../../doc/man || exit 1

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.