diff options
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 contrib/sphinx || exit 1 | 110 | cd src/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 contrib/gana || exit 1 | 142 | cd src/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 && \ |