From 4ccefd6d5e013ace4d8a27b6af4a26074d15b672 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tim=20M=C3=B6hlmann?= Date: Fri, 19 Oct 2018 13:43:09 +0300 Subject: [PATCH] Documentation update on local docs container --- docs/contributors/environment.rst | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/contributors/environment.rst b/docs/contributors/environment.rst index a1cce193..af610c27 100644 --- a/docs/contributors/environment.rst +++ b/docs/contributors/environment.rst @@ -101,7 +101,8 @@ Documentation is maintained in the ``docs`` directory and are maintained as `reS docker build -t docs docs docker run -p 127.0.0.1:8080:80 docs -You can now read the local documentation by navigating to http://localhost:8080. +In a local build Docker always assumes the version to be master. +You can read the local documentation by navigating to http://localhost:8080/master. .. note:: After modifying the documentation, the image needs to be rebuild and the container restarted for the changes to become visible.