aboutsummaryrefslogtreecommitdiff
path: root/bootstrap
diff options
context:
space:
mode:
authorMartin Schanzenbach <schanzen@gnunet.org>2022-12-30 19:24:58 +0900
committerMartin Schanzenbach <schanzen@gnunet.org>2022-12-30 19:24:58 +0900
commit2a7d977ee0b1f5ef6ee3fe1ec73a8b81b06622f0 (patch)
treed0a0cd6399b4181c587dc5db6a052d3b154851d1 /bootstrap
parent37a3445a3f589ee2eada2617bea303a42d70671e (diff)
downloadgnunet-2a7d977ee0b1f5ef6ee3fe1ec73a8b81b06622f0.tar.gz
gnunet-2a7d977ee0b1f5ef6ee3fe1ec73a8b81b06622f0.zip
DOC: Update handbook and properly reset on bootstrap
Diffstat (limited to 'bootstrap')
-rwxr-xr-xbootstrap6
1 files changed, 6 insertions, 0 deletions
diff --git a/bootstrap b/bootstrap
index fbe03c6f7..727df2e99 100755
--- a/bootstrap
+++ b/bootstrap
@@ -110,7 +110,13 @@ sphinx_update()
110 cd contrib/sphinx || exit 1 110 cd contrib/sphinx || exit 1
111 # GNS 111 # GNS
112 make html >/dev/null || exit 1 112 make html >/dev/null || exit 1
113 if test -e ../../doc/handbook/html; then
114 rm -r ../../doc/handbook/html || exit 1
115 fi
113 cp -r _build/html ../../doc/handbook/ || exit 1 116 cp -r _build/html ../../doc/handbook/ || exit 1
117 if test -e ../../doc/handbook/texinfo; then
118 rm -r ../../doc/handbook/texinfo || exit 1
119 fi
114 make info >/dev/null || exit 1 120 make info >/dev/null || exit 1
115 cp -r _build/texinfo ../../doc/handbook/ || exit 1 121 cp -r _build/texinfo ../../doc/handbook/ || exit 1
116 cd $cwd 122 cd $cwd