diff options
| -rw-r--r-- | documentation/dev-manual/dev-manual-start.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/documentation/dev-manual/dev-manual-start.xml b/documentation/dev-manual/dev-manual-start.xml index 99d42a5a4a..e2b478f68e 100644 --- a/documentation/dev-manual/dev-manual-start.xml +++ b/documentation/dev-manual/dev-manual-start.xml | |||
| @@ -402,8 +402,8 @@ | |||
| 402 | <para> | 402 | <para> |
| 403 | This section provides procedures to set up your development host to | 403 | This section provides procedures to set up your development host to |
| 404 | use the Yocto Project. | 404 | use the Yocto Project. |
| 405 | You can use the Yocto Project on a native Linux development host or | 405 | You can use the Yocto Project on a native Linux development host |
| 406 | you can use | 406 | (recommended) or you can use |
| 407 | <ulink url='https://git.yoctoproject.org/cgit/cgit.cgi/crops/about/'>CROPS</ulink>, | 407 | <ulink url='https://git.yoctoproject.org/cgit/cgit.cgi/crops/about/'>CROPS</ulink>, |
| 408 | which leverages | 408 | which leverages |
| 409 | <ulink url='https://www.docker.com/'>Docker Containers</ulink>, | 409 | <ulink url='https://www.docker.com/'>Docker Containers</ulink>, |