diff options
Diffstat (limited to 'documentation')
| -rw-r--r-- | documentation/sdk-manual/sdk-extensible.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/documentation/sdk-manual/sdk-extensible.xml b/documentation/sdk-manual/sdk-extensible.xml index f941df33f5..07566c7923 100644 --- a/documentation/sdk-manual/sdk-extensible.xml +++ b/documentation/sdk-manual/sdk-extensible.xml | |||
| @@ -236,7 +236,8 @@ | |||
| 236 | and needs to be extracted to some | 236 | and needs to be extracted to some |
| 237 | local area - this time outside of the default | 237 | local area - this time outside of the default |
| 238 | workspace. | 238 | workspace. |
| 239 | As always, if required <filename>devtool</filename> creates | 239 | If required, <filename>devtool</filename> |
| 240 | always creates | ||
| 240 | a Git repository locally during the extraction. | 241 | a Git repository locally during the extraction. |
| 241 | Furthermore, the first positional argument | 242 | Furthermore, the first positional argument |
| 242 | <replaceable>srctree</replaceable> in this case | 243 | <replaceable>srctree</replaceable> in this case |