diff --git a/docs/_config.yml b/docs/_config.yml
index 860731ed..96bd8be6 100644
--- a/docs/_config.yml
+++ b/docs/_config.yml
@@ -11,7 +11,7 @@ permalink: pretty
 
 defaults:
   - scope:
-      path: "" # an empty string here means all files in the project
+      path: "docs" # an empty string here means all files in the project
       type: "pages"
     values:
       layout: "default"
diff --git a/docs/developer-manual/index.md b/docs/docs/developer-manual/index.md
similarity index 100%
rename from docs/developer-manual/index.md
rename to docs/docs/developer-manual/index.md
diff --git a/docs/user-manual/index.md b/docs/docs/user-manual/index.md
similarity index 100%
rename from docs/user-manual/index.md
rename to docs/docs/user-manual/index.md