diff options
| author | Samuel MARTIN <s.martin49@gmail.com> | 2012-02-08 23:20:54 +0100 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2012-02-09 23:23:42 +0100 |
| commit | 2c4de62b14cf5c661ea6f999a031e9a4f115782e (patch) | |
| tree | c920b2a85987f91527fef3118fbeb48b1372c284 /docs/manual/external-toolchain.txt | |
| parent | fd10b42ab8db0cd5d2f3c9076d54244c6e0e60a8 (diff) | |
docs: Add customizing toolchain section
Signed-off-by: Samuel MARTIN <s.martin49@gmail.com>
Acked-by: Arnout Vandecappelle (Essensium/Mind) <arnout@mind.be>
Acked-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'docs/manual/external-toolchain.txt')
| -rw-r--r-- | docs/manual/external-toolchain.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/manual/external-toolchain.txt b/docs/manual/external-toolchain.txt index 20eebdb20..62eb0a386 100644 --- a/docs/manual/external-toolchain.txt +++ b/docs/manual/external-toolchain.txt @@ -1,5 +1,6 @@ Using an external toolchain =========================== +[[external-toolchain]] Using an already existing toolchain is useful for different reasons: |