diff options
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: |