diff options
author | Martin Schanzenbach <schanzen@gnunet.org> | 2023-11-07 14:13:50 +0100 |
---|---|---|
committer | Martin Schanzenbach <schanzen@gnunet.org> | 2023-11-07 14:13:50 +0100 |
commit | 81163fab3e3d0b248df6a48d6066070c35a17d22 (patch) | |
tree | 574e6bea4d218e02207b9055ad804440f8e2ca47 /bootstrap | |
parent | 72461ceb5f32a0ff8babbe7b10a95bb1fed8bfbf (diff) | |
download | gnunet-81163fab3e3d0b248df6a48d6066070c35a17d22.tar.gz gnunet-81163fab3e3d0b248df6a48d6066070c35a17d22.zip |
build: move gana and handbook submodules back into contrib
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -107,7 +107,7 @@ sphinx_update() | |||
107 | echo "Updating handbook..." | 107 | echo "Updating handbook..." |
108 | if existence sphinx-build; then | 108 | if existence sphinx-build; then |
109 | cwd=$PWD | 109 | cwd=$PWD |
110 | cd src/handbook || exit 1 | 110 | cd contrib/handbook || exit 1 |
111 | if test -e _build; then | 111 | if test -e _build; then |
112 | make clean | 112 | make clean |
113 | fi | 113 | fi |
@@ -139,7 +139,7 @@ gana_update() | |||
139 | echo "Updating GANA..." | 139 | echo "Updating GANA..." |
140 | if existence recfmt; then | 140 | if existence recfmt; then |
141 | cwd=$PWD | 141 | cwd=$PWD |
142 | cd src/gana || exit 1 | 142 | cd contrib/gana || exit 1 |
143 | # GNS | 143 | # GNS |
144 | echo "Updating GNS record types" | 144 | echo "Updating GNS record types" |
145 | cd gnu-name-system-record-types && \ | 145 | cd gnu-name-system-record-types && \ |