diff options
-rw-r--r-- | documentation/dev-manual/dev-manual-start.xml | 2 |
1 files changed, 1 insertions, 1 deletions
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 @@ | |||
212 | </para></listitem> | 212 | </para></listitem> |
213 | <listitem><para> | 213 | <listitem><para> |
214 | <emphasis>Optionally Orient Yourself With Docker:</emphasis> | 214 | <emphasis>Optionally Orient Yourself With Docker:</emphasis> |
215 | If you are unfamiliar with Dockers and the container | 215 | If you are unfamiliar with Docker and the container |
216 | concept, you can learn more here - | 216 | concept, you can learn more here - |
217 | <ulink url='https://docs.docker.com/get-started/'></ulink>. | 217 | <ulink url='https://docs.docker.com/get-started/'></ulink>. |
218 | You should be able to launch Docker or the Docker Toolbox | 218 | You should be able to launch Docker or the Docker Toolbox |