gnunet

commit e0d7f6335d48aafe3dbdeab250f875a2ce864c79
parent 6ed48bf0b112f7d1319a7c0d77750a8cbc3e97a8
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date:   Sun,  2 Oct 2022 00:36:59 +0900

-f

Diffstat:
M
bootstrap
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git 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