Put install instructions of test tools into separate docs/ markdown file

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

diff --git a/docs/develop/Documentation.md b/docs/develop/Documentation.md
index df8d2b1a84f05a8dab945f3b100d9935deea5b1a..debe6858a43f6def7939b4a9ef45056ff0ba36d8 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
 ```
 
+If `mkdocs` can't be found after the installation, the $PATH might have not
+be set correctly yet. Try opening a new terminal session.
+
 
 Then go to the build directory and run