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 91ca71c05f..bf085f8af9 100644 --- a/documentation/dev-manual/dev-manual-start.xml +++ b/documentation/dev-manual/dev-manual-start.xml | |||
| @@ -211,7 +211,7 @@ | |||
| 211 | the type of the software you need to install. | 211 | the type of the software you need to install. |
| 212 | </para></listitem> | 212 | </para></listitem> |
| 213 | <listitem><para> | 213 | <listitem><para> |
| 214 | <emphasis>Optionally Orient Yourself With Dockers:</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 Dockers 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>. |