diff --git a/docs/index.rst b/docs/index.rst
index 84a8bd593..0b7ad4a55 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -18,6 +18,7 @@ Or navigate directly to another section:
 
    getting_started
    installation/installation
+   installation/docker_user_guide
    user_guide/user_guide
    examples/examples
    collaboration/collaboration
diff --git a/docs/docker/docker_user_guide.rst b/docs/installation/docker_user_guide.rst
similarity index 100%
rename from docs/docker/docker_user_guide.rst
rename to docs/installation/docker_user_guide.rst