diff --git a/documentation/dev-manual/dev-manual-start.xml b/documentation/dev-manual/dev-manual-start.xml index 91ca71c05f..bf085f8af9 100644 --- a/documentation/dev-manual/dev-manual-start.xml +++ b/documentation/dev-manual/dev-manual-start.xml @@ -211,7 +211,7 @@ the type of the software you need to install. - Optionally Orient Yourself With Dockers: + Optionally Orient Yourself With Docker: If you are unfamiliar with Dockers and the container concept, you can learn more here - .