diff options
Diffstat (limited to 'documentation/ref-manual/devtool-reference.rst')
-rw-r--r-- | documentation/ref-manual/devtool-reference.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/documentation/ref-manual/devtool-reference.rst b/documentation/ref-manual/devtool-reference.rst index 5075f0c224..629aa2ffb9 100644 --- a/documentation/ref-manual/devtool-reference.rst +++ b/documentation/ref-manual/devtool-reference.rst | |||
@@ -178,8 +178,8 @@ resides in ``/home/user/sources/jackson``: | |||
178 | $ devtool add jackson /home/user/sources/jackson | 178 | $ devtool add jackson /home/user/sources/jackson |
179 | 179 | ||
180 | If you add a recipe and the workspace layer does not exist, the command | 180 | If you add a recipe and the workspace layer does not exist, the command |
181 | creates the layer and populates it as described in "`The Workspace Layer | 181 | creates the layer and populates it as described in |
182 | Structure <#devtool-the-workspace-layer-structure>`__" section. | 182 | ":ref:`devtool-the-workspace-layer-structure`" section. |
183 | 183 | ||
184 | Running ``devtool add`` when the workspace layer exists causes the tool | 184 | Running ``devtool add`` when the workspace layer exists causes the tool |
185 | to add the recipe, append files, and source files into the existing | 185 | to add the recipe, append files, and source files into the existing |