docs: minor typo and grammar fixes

2020-06-23 23:31:18 +02:00
parent 8335dd3aa5
commit dd10c867db
3 changed files with 3 additions and 3 deletions
--- a/docs/develop/Documentation.md
+++ b/docs/develop/Documentation.md
@@ -9,7 +9,7 @@ pip3 install --user mkdocs
 ```

 If `mkdocs` can't be found after the installation, the $PATH might have not
-be set correctly yet. Try opening a new terminal session.
+been set correctly yet. Try opening a new terminal session.


 Then go to the build directory and run