diff options
| -rw-r--r-- | doc/development/shell_scripting_guide/index.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/development/shell_scripting_guide/index.md b/doc/development/shell_scripting_guide/index.md index a0acd50b496..ae7f2154682 100644 --- a/doc/development/shell_scripting_guide/index.md +++ b/doc/development/shell_scripting_guide/index.md @@ -15,7 +15,7 @@ should be eventually harmonized with this guide. If there are any per-project deviations from this guide, they should be described in the `README.md` or `PROCESS.md` file for such a project. -### Word of caution +### Avoid using shell scripts CAUTION: **Caution:** This is a must-read section. |