summaryrefslogtreecommitdiffstats
path: root/documentation/dev-manual
diff options
context:
space:
mode:
Diffstat (limited to 'documentation/dev-manual')
-rw-r--r--documentation/dev-manual/dev-manual-start.xml2
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