Merge remote-tracking branch 'upstream/master'

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

diff --git a/docs/develop/Documentation.md b/docs/develop/Documentation.md
index df8d2b1a84f05a8dab945f3b100d9935deea5b1a..0d3c3e02f474ec05b09fecfcf1ff3c5c13224c47 100644 (file)
--- a/docs/develop/Documentation.md
+++ b/docs/develop/Documentation.md
@@ -8,6 +8,9 @@ To preview local changes, first install MkDocs
 pip3 install --user mkdocs
 ```
 
 pip3 install --user mkdocs
 ```
 

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

 
 Then go to the build directory and run
 
 
 Then go to the build directory and run