diff options
| author | Blaž Hrastnik | 2021-11-07 01:33:05 +0000 |
|---|---|---|
| committer | GitHub | 2021-11-07 01:33:05 +0000 |
| commit | 29fe504398e483b8830564727ee8e2f209f06615 (patch) | |
| tree | 0b7bec2b46f2f28aa69b66bd44c9646364bf3c91 | |
| parent | acced82be66c9a3920b8147bdd8fa6785388e8c8 (diff) | |
book: Mention git submodule sync too
| -rw-r--r-- | book/src/guides/adding_languages.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/book/src/guides/adding_languages.md b/book/src/guides/adding_languages.md index 85c3d0e8..00902876 100644 --- a/book/src/guides/adding_languages.md +++ b/book/src/guides/adding_languages.md @@ -43,7 +43,7 @@ For a language to have syntax-highlighting and indentation among other things, y - If you get errors when building after switching branches, you may have to remove or update tree-sitter submodules. You can update submodules by running ```sh -$ git submodule update --init +$ git submodule sync; git submodule update --init ``` - Make sure to not use the `--remote` flag. To remove submodules look inside the `.gitmodules` and remove directories that are not present inside of it. |