[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gnunet] branch master updated: -f
From: |
gnunet |
Subject: |
[gnunet] branch master updated: -f |
Date: |
Sat, 01 Oct 2022 17:37:05 +0200 |
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.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [gnunet] branch master updated: -f,
gnunet <=