diff options
Diffstat (limited to 'documentation/dev-manual/dev-manual-model.xml')
| -rw-r--r-- | documentation/dev-manual/dev-manual-model.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/dev-manual/dev-manual-model.xml b/documentation/dev-manual/dev-manual-model.xml index 0bb204ab16..b18285bd2d 100644 --- a/documentation/dev-manual/dev-manual-model.xml +++ b/documentation/dev-manual/dev-manual-model.xml | |||
| @@ -968,7 +968,7 @@ | |||
| 968 | extracts them. | 968 | extracts them. |
| 969 | Providing the <replaceable>srctree</replaceable> | 969 | Providing the <replaceable>srctree</replaceable> |
| 970 | argument instructs <filename>devtool</filename> where | 970 | argument instructs <filename>devtool</filename> where |
| 971 | place the extracted source.</para> | 971 | to place the extracted source.</para> |
| 972 | 972 | ||
| 973 | <para>Within workspace, <filename>devtool</filename> | 973 | <para>Within workspace, <filename>devtool</filename> |
| 974 | creates an append file for the recipe. | 974 | creates an append file for the recipe. |