summaryrefslogtreecommitdiffstats
path: root/documentation
diff options
context:
space:
mode:
Diffstat (limited to 'documentation')
-rw-r--r--documentation/sdk-manual/sdk-extensible.xml3
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