X-Git-Url: https://git.openstreetmap.org./nominatim.git/blobdiff_plain/8335dd3aa52b70edf15cae3550699de541bbc3a3..5f8d5f10a6c5c74195eaa0e60111a63f15955f26:/docs/develop/Documentation.md?ds=sidebyside

diff --git a/docs/develop/Documentation.md b/docs/develop/Documentation.md
index debe6858..0d3c3e02 100644
--- 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