[gnunet] 02/03: BUILD: Clean up build and submodules

[gnunet]

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

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

commit 995778685d37ed0a66d0ed81b0fb45e402d889a9
Author: Martin Schanzenbach <schanzen@gnunet.org>
AuthorDate: Sat Oct 1 22:55:32 2022 +0900

    BUILD: Clean up build and submodules
---
 bootstrap           | 26 ++++++++++++--------------
 doc/handbook/README |  5 +++++
 2 files changed, 17 insertions(+), 14 deletions(-)

diff --git a/bootstrap b/bootstrap
index 751726061..0c62be01f 100755
--- a/bootstrap
+++ b/bootstrap
@@ -104,14 +104,15 @@ submodules()
 
 sphinx_update()
 {
+    echo "Updating handbook..."
     if existence sphinx-build; then
       cwd=$PWD
       cd contrib/sphinx || exit 1
       # GNS
-      make all || exit 1
+      make all >/dev/null 2>&1 || 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
+      cp -r _build/man/* ../../doc/man >/dev/null || exit 1
       cd $cwd
     else
       echo "ERROR: Sphinx not found! Unable to generate recent documentation."
@@ -122,29 +123,26 @@ sphinx_update()
 
 gana_update()
 {
+    echo "Updating GANA..."
     if existence recfmt; then
       cwd=$PWD
       cd contrib/gana || exit 1
       # GNS
       cd gnu-name-system-record-types && \
-         make && \
-         cp gnu_name_system_record_types.h ../../../src/include/ && \
-         make clean || exit 1
+         make >/dev/null 2>&1 && \
+         cp gnu_name_system_record_types.h ../../../src/include/ || exit 1
       cd ../gnu-name-system-default-tlds && \
-         make && \
-         cp tlds.conf ../../../src/gns && \
-         make clean || exit 1
+         make >/dev/null 2>&1 && \
+         cp tlds.conf ../../../src/gns || exit 1
 
       # Signatures
       cd ../gnunet-signatures && \
-         make && \
-         cp gnunet_signatures.h ../../../src/include && \
-         make clean || exit 1
+         make >/dev/null 2>&1 && \
+         cp gnunet_signatures.h ../../../src/include || exit 1
       # DHT Block Types
       cd ../gnunet-dht-block-types && \
-         make && \
-         cp gnunet_dht_block_types.h ../../../src/include && \
-         make clean || exit 1
+         make >/dev/null 2>&1 && \
+         cp gnunet_dht_block_types.h ../../../src/include || exit 1
 
       cd $cwd
     else
diff --git a/doc/handbook/README b/doc/handbook/README
new file mode 100644
index 000000000..43761d3b4
--- /dev/null
+++ b/doc/handbook/README
@@ -0,0 +1,5 @@
+DO NOT EDIT THE HANDBOOK HERE
+
+The GNUnet handbook can be found (and edited) in gnunet-handbook.git.
+It is included in the submodule contrib/sphinx.
+The html, texinfo and manpages are autogenerated from there on ./bootstrap.

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