aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Schanzenbach <schanzen@gnunet.org>2022-10-01 22:55:32 +0900
committerMartin Schanzenbach <schanzen@gnunet.org>2022-10-01 22:55:32 +0900
commit995778685d37ed0a66d0ed81b0fb45e402d889a9 (patch)
tree2ba554da66264d96fb1044a74a27cc092e811186
parent56d347ae785ef4e4bea940a1fe518ff246d588ac (diff)
downloadgnunet-995778685d37ed0a66d0ed81b0fb45e402d889a9.tar.gz
gnunet-995778685d37ed0a66d0ed81b0fb45e402d889a9.zip
BUILD: Clean up build and submodules
-rwxr-xr-xbootstrap26
-rw-r--r--doc/handbook/README5
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()
104 104
105sphinx_update() 105sphinx_update()
106{ 106{
107 echo "Updating handbook..."
107 if existence sphinx-build; then 108 if existence sphinx-build; then
108 cwd=$PWD 109 cwd=$PWD
109 cd contrib/sphinx || exit 1 110 cd contrib/sphinx || exit 1
110 # GNS 111 # GNS
111 make all || exit 1 112 make all >/dev/null 2>&1 || exit 1
112 cp -r _build/html ../../doc/handbook/ || exit 1 113 cp -r _build/html ../../doc/handbook/ || exit 1
113 cp -r _build/texinfo ../../doc/handbook/ || exit 1 114 cp -r _build/texinfo ../../doc/handbook/ || exit 1
114 cp -r _build/man/* ../../doc/man || exit 1 115 cp -r _build/man/* ../../doc/man >/dev/null || exit 1
115 cd $cwd 116 cd $cwd
116 else 117 else
117 echo "ERROR: Sphinx not found! Unable to generate recent documentation." 118 echo "ERROR: Sphinx not found! Unable to generate recent documentation."
@@ -122,29 +123,26 @@ sphinx_update()
122 123
123gana_update() 124gana_update()
124{ 125{
126 echo "Updating GANA..."
125 if existence recfmt; then 127 if existence recfmt; then
126 cwd=$PWD 128 cwd=$PWD
127 cd contrib/gana || exit 1 129 cd contrib/gana || exit 1
128 # GNS 130 # GNS
129 cd gnu-name-system-record-types && \ 131 cd gnu-name-system-record-types && \
130 make && \ 132 make >/dev/null 2>&1 && \
131 cp gnu_name_system_record_types.h ../../../src/include/ && \ 133 cp gnu_name_system_record_types.h ../../../src/include/ || exit 1
132 make clean || exit 1
133 cd ../gnu-name-system-default-tlds && \ 134 cd ../gnu-name-system-default-tlds && \
134 make && \ 135 make >/dev/null 2>&1 && \
135 cp tlds.conf ../../../src/gns && \ 136 cp tlds.conf ../../../src/gns || exit 1
136 make clean || exit 1
137 137
138 # Signatures 138 # Signatures
139 cd ../gnunet-signatures && \ 139 cd ../gnunet-signatures && \
140 make && \ 140 make >/dev/null 2>&1 && \
141 cp gnunet_signatures.h ../../../src/include && \ 141 cp gnunet_signatures.h ../../../src/include || exit 1
142 make clean || exit 1
143 # DHT Block Types 142 # DHT Block Types
144 cd ../gnunet-dht-block-types && \ 143 cd ../gnunet-dht-block-types && \
145 make && \ 144 make >/dev/null 2>&1 && \
146 cp gnunet_dht_block_types.h ../../../src/include && \ 145 cp gnunet_dht_block_types.h ../../../src/include || exit 1
147 make clean || exit 1
148 146
149 cd $cwd 147 cd $cwd
150 else 148 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 @@
1DO NOT EDIT THE HANDBOOK HERE
2
3The GNUnet handbook can be found (and edited) in gnunet-handbook.git.
4It is included in the submodule contrib/sphinx.
5The html, texinfo and manpages are autogenerated from there on ./bootstrap.