diff --git a/docs/getting-into-the-code/guidelines-for-setting-up-a-local-workspace/intellij-11-code-into-ide.md b/docs/getting-into-the-code/guidelines-for-setting-up-a-local-workspace/intellij-11-code-into-ide.md index ac6ede9c529..5f89e30a923 100644 --- a/docs/getting-into-the-code/guidelines-for-setting-up-a-local-workspace/intellij-11-code-into-ide.md +++ b/docs/getting-into-the-code/guidelines-for-setting-up-a-local-workspace/intellij-11-code-into-ide.md @@ -52,14 +52,14 @@ Currently, it looks as follows: ![Directory Mappings including sub modules](intellij-directory-mappings-unmodified.png) {% endfigure %} -You need to tell IntelliJ to ignore the submodules `buildres\abbrv.jabref.org`, `jablib\src\main\resources\csl-locales`, and `jablib\src\main\resources\csl-styles`. +You need to tell IntelliJ to ignore the submodules `jablib\src\main\abbrv.jabref.org`, `jablib\src\main\resources\csl-locales`, and `jablib\src\main\resources\csl-styles`. Select all three (holding the Ctrl key). Then press the red minus button on top. This will make these directories "Unregistered roots:", which is fine. {% figure caption:"Directory Mappings having three unregistered roots" %} -![Directory Mappings having three repositories unregsitered](intellij-directory-mappings-unregistered-roots.png) +![Directory Mappings having three repositories unregistered](intellij-directory-mappings-unregistered-roots.png) {% endfigure %} ## Ensure that committing with other tools work diff --git a/docs/getting-into-the-code/guidelines-for-setting-up-a-local-workspace/pre-02-software.md b/docs/getting-into-the-code/guidelines-for-setting-up-a-local-workspace/pre-02-software.md index 90b48f7ce3e..8adb32ae38a 100644 --- a/docs/getting-into-the-code/guidelines-for-setting-up-a-local-workspace/pre-02-software.md +++ b/docs/getting-into-the-code/guidelines-for-setting-up-a-local-workspace/pre-02-software.md @@ -16,7 +16,7 @@ It is strongly recommended that you have git installed. ### macOS -* Use [homebrew](https://brew.sh/)) +* Use [homebrew](https://brew.sh/) * `brew install git git-gui` ### Windows