diff options
| author | Martin Schanzenbach <schanzen@gnunet.org> | 2022-10-02 00:35:06 +0900 |
|---|---|---|
| committer | Martin Schanzenbach <schanzen@gnunet.org> | 2022-10-02 00:35:06 +0900 |
| commit | 6ed48bf0b112f7d1319a7c0d77750a8cbc3e97a8 (patch) | |
| tree | 140675579e64a63089cdd8f59c116ac693fb282f /bootstrap | |
| parent | 35abe0981a7a66b23d1463c46bd1bc7d0b0a054b (diff) | |
| download | gnunet-6ed48bf0b112f7d1319a7c0d77750a8cbc3e97a8.tar.gz gnunet-6ed48bf0b112f7d1319a7c0d77750a8cbc3e97a8.zip | |
-verbose for now
Diffstat (limited to 'bootstrap')
| -rwxr-xr-x | bootstrap | 4 |
1 files changed, 2 insertions, 2 deletions
| @@ -109,10 +109,10 @@ sphinx_update() | |||
| 109 | cwd=$PWD | 109 | cwd=$PWD |
| 110 | cd contrib/sphinx || exit 1 | 110 | cd contrib/sphinx || exit 1 |
| 111 | # GNS | 111 | # GNS |
| 112 | make all >/dev/null 2>&1 || exit 1 | 112 | make all >/dev/null || exit 1 |
| 113 | cp -r _build/html ../../doc/handbook/ || exit 1 | 113 | cp -r _build/html ../../doc/handbook/ || exit 1 |
| 114 | cp -r _build/texinfo ../../doc/handbook/ || exit 1 | 114 | cp -r _build/texinfo ../../doc/handbook/ || exit 1 |
| 115 | cp -r _build/man/* ../../doc/man >/dev/null || exit 1 | 115 | cp -r _build/man/* ../../doc/man || exit 1 |
| 116 | cd $cwd | 116 | cd $cwd |
| 117 | else | 117 | else |
| 118 | echo "ERROR: Sphinx not found! Unable to generate recent documentation." | 118 | echo "ERROR: Sphinx not found! Unable to generate recent documentation." |