diff options
Diffstat (limited to 'documentation/ref-manual/ref-variables.xml')
| -rw-r--r-- | documentation/ref-manual/ref-variables.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/ref-manual/ref-variables.xml b/documentation/ref-manual/ref-variables.xml index 536bd15eaa..dc5c44ecaf 100644 --- a/documentation/ref-manual/ref-variables.xml +++ b/documentation/ref-manual/ref-variables.xml | |||
| @@ -12609,7 +12609,7 @@ | |||
| 12609 | is set to "minimal" to keep the SDK reasonably small | 12609 | is set to "minimal" to keep the SDK reasonably small |
| 12610 | but you still want to provide a usable toolchain. | 12610 | but you still want to provide a usable toolchain. |
| 12611 | For example, suppose you want to use the toolchain from an | 12611 | For example, suppose you want to use the toolchain from an |
| 12612 | IDE (e.g. Eclipse) or from other tools and you do not | 12612 | IDE or from other tools and you do not |
| 12613 | want to perform additional steps to install the toolchain. | 12613 | want to perform additional steps to install the toolchain. |
| 12614 | </para> | 12614 | </para> |
| 12615 | 12615 | ||