summaryrefslogtreecommitdiffstats
path: root/docs/manual/external-toolchain.txt
diff options
context:
space:
mode:
Diffstat (limited to 'docs/manual/external-toolchain.txt')
-rw-r--r--docs/manual/external-toolchain.txt1
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: