diff --git a/documentation/dev-manual/dev-manual-start.xml b/documentation/dev-manual/dev-manual-start.xml index de370f109f..e0d36e95e4 100644 --- a/documentation/dev-manual/dev-manual-start.xml +++ b/documentation/dev-manual/dev-manual-start.xml @@ -212,7 +212,7 @@ Optionally Orient Yourself With Docker: - If you are unfamiliar with Dockers and the container + If you are unfamiliar with Docker and the container concept, you can learn more here - . You should be able to launch Docker or the Docker Toolbox