[gnunet] branch master updated: -try fix for nongnu make

[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 b008176fa -try fix for nongnu make
b008176fa is described below

commit b008176fa106134d4919d8f336c28fe623174592
Author: Martin Schanzenbach <schanzen@gnunet.org>
AuthorDate: Sun Oct 2 00:43:29 2022 +0900

    -try fix for nongnu make
---
 bootstrap | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/bootstrap b/bootstrap
index 842312c8b..8fa0e02b7 100755
--- a/bootstrap
+++ b/bootstrap
@@ -109,9 +109,11 @@ sphinx_update()
       cwd=$PWD
       cd contrib/sphinx || exit 1
       # GNS
-      make all || exit 1
+      make html || exit 1
       cp -r _build/html ../../doc/handbook/ || exit 1
+      make info || exit 1
       cp -r _build/texinfo ../../doc/handbook/ || exit 1
+      make man || exit 1
       cp -r _build/man/* ../../doc/man || exit 1
       cd $cwd
     else

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