diff options
| author | Martin Schanzenbach <schanzen@gnunet.org> | 2022-10-02 11:48:10 +0900 |
|---|---|---|
| committer | Martin Schanzenbach <schanzen@gnunet.org> | 2022-10-02 11:48:10 +0900 |
| commit | 4611664be0ba79ec7029a74cf961f28f2a658241 (patch) | |
| tree | d77a28b6d85f8e3afed830e58deceb5f3b8f7f09 /bootstrap | |
| parent | 2b2c1fcd7fe8848828e6d540ed3837b80a63dd82 (diff) | |
| download | gnunet-4611664be0ba79ec7029a74cf961f28f2a658241.tar.gz gnunet-4611664be0ba79ec7029a74cf961f28f2a658241.zip | |
DOC: Back to info_TEXINFOS
Diffstat (limited to 'bootstrap')
| -rwxr-xr-x | bootstrap | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -111,7 +111,7 @@ sphinx_update() | |||
| 111 | # GNS | 111 | # GNS |
| 112 | make html >/dev/null || exit 1 | 112 | make html >/dev/null || exit 1 |
| 113 | cp -r _build/html ../../doc/handbook/ || exit 1 | 113 | cp -r _build/html ../../doc/handbook/ || exit 1 |
| 114 | make info >/dev/null || exit 1 | 114 | make texinfo >/dev/null || exit 1 |
| 115 | cp -r _build/texinfo ../../doc/handbook/ || exit 1 | 115 | cp -r _build/texinfo ../../doc/handbook/ || exit 1 |
| 116 | make man >/dev/null || exit 1 | 116 | make man >/dev/null || exit 1 |
| 117 | cp -r _build/man/* ../../doc/man || exit 1 | 117 | cp -r _build/man/* ../../doc/man || exit 1 |