[gnunet] branch master updated: -update handbook

[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 b00f4f30d -update handbook
b00f4f30d is described below

commit b00f4f30d94015acde0599711bf8056855b2de97
Author: Martin Schanzenbach <schanzen@gnunet.org>
AuthorDate: Fri Oct 21 11:40:00 2022 +0900

    -update handbook
---
 bootstrap      | 2 +-
 contrib/sphinx | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/bootstrap b/bootstrap
index 1a703b332..d7c472c34 100755
--- a/bootstrap
+++ b/bootstrap
@@ -111,7 +111,7 @@ sphinx_update()
       # GNS
       make html >/dev/null || exit 1
       cp -r _build/html ../../doc/handbook/ || exit 1
-      make texinfo >/dev/null || exit 1
+      make info >/dev/null || exit 1
       cp -r _build/texinfo ../../doc/handbook/ || exit 1
       cd $cwd
     else
diff --git a/contrib/sphinx b/contrib/sphinx
index 4e5c8c6d4..c0e1c1d1c 160000
--- a/contrib/sphinx
+++ b/contrib/sphinx
@@ -1 +1 @@
-Subproject commit 4e5c8c6d4a0befd55fba632b8b1bed482ea2bac7
+Subproject commit c0e1c1d1cc7531130ba9de8e74520fd21c3aa574

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