diff options
author | Martin Schanzenbach <schanzen@gnunet.org> | 2022-12-30 19:24:58 +0900 |
---|---|---|
committer | Martin Schanzenbach <schanzen@gnunet.org> | 2022-12-30 19:24:58 +0900 |
commit | 2a7d977ee0b1f5ef6ee3fe1ec73a8b81b06622f0 (patch) | |
tree | d0a0cd6399b4181c587dc5db6a052d3b154851d1 /bootstrap | |
parent | 37a3445a3f589ee2eada2617bea303a42d70671e (diff) | |
download | gnunet-2a7d977ee0b1f5ef6ee3fe1ec73a8b81b06622f0.tar.gz gnunet-2a7d977ee0b1f5ef6ee3fe1ec73a8b81b06622f0.zip |
DOC: Update handbook and properly reset on bootstrap
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -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 |