From 8b20a81f0682984d0b4c05d75dc1331e62a4c2b1 Mon Sep 17 00:00:00 2001 From: Daphne Muller <86835268+DaphneMuller@users.noreply.github.com> Date: Thu, 9 Feb 2023 13:43:11 +0100 Subject: [PATCH] Update devenv.rst Signed-off-by: Daphne Muller <86835268+DaphneMuller@users.noreply.github.com> --- developer_manual/getting_started/devenv.rst | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/developer_manual/getting_started/devenv.rst b/developer_manual/getting_started/devenv.rst index 700b7102b..0b1ba54eb 100644 --- a/developer_manual/getting_started/devenv.rst +++ b/developer_manual/getting_started/devenv.rst @@ -6,7 +6,12 @@ Development environment ======================= -Please follow the steps on this page to set up your development environment. +We have a tutorial available on setting up your development environment using docker. You can find the tutorial `here `_. We recommend you to follow that tutorial. + +This page describes how to set up your development environment without docker. + + +Please follow the steps on this page to set up your development environment manually. Set up Web server and database ------------------------------