Merge pull request #1836 from lonvia/rework-large-location-II

[nominatim.git] / docs / develop / Documentation.md

diff --git a/docs/develop/Documentation.md b/docs/develop/Documentation.md
index debe6858a43f6def7939b4a9ef45056ff0ba36d8..0d3c3e02f474ec05b09fecfcf1ff3c5c13224c47 100644 (file)
--- 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