diff options
| author | Martin Schanzenbach <schanzen@gnunet.org> | 2023-01-05 18:05:54 +0900 |
|---|---|---|
| committer | Martin Schanzenbach <schanzen@gnunet.org> | 2023-01-05 18:05:54 +0900 |
| commit | a5f1827bae74a456ed83d2b196b0249b88cf0081 (patch) | |
| tree | 587709a323a8eb3bfb0169313e5bad376a2a4687 /bootstrap | |
| parent | 77ad6b7f86a696a82933e910bd0bcb305f613e95 (diff) | |
| download | gnunet-a5f1827bae74a456ed83d2b196b0249b88cf0081.tar.gz gnunet-a5f1827bae74a456ed83d2b196b0249b88cf0081.zip | |
BUILD: Clean documentation before rebuilding from bootstrap
Diffstat (limited to 'bootstrap')
| -rwxr-xr-x | bootstrap | 3 |
1 files changed, 3 insertions, 0 deletions
| @@ -108,6 +108,9 @@ sphinx_update() | |||
| 108 | if existence sphinx-build; then | 108 | if existence sphinx-build; then |
| 109 | cwd=$PWD | 109 | cwd=$PWD |
| 110 | cd contrib/sphinx || exit 1 | 110 | cd contrib/sphinx || exit 1 |
| 111 | if test -e _build; then | ||
| 112 | make clean | ||
| 113 | fi | ||
| 111 | # GNS | 114 | # GNS |
| 112 | make html >/dev/null || exit 1 | 115 | make html >/dev/null || exit 1 |
| 113 | if test -e ../../doc/handbook/html; then | 116 | if test -e ../../doc/handbook/html; then |