1 files changed, 1 insertions, 0 deletions

diff --git a/index.md b/index.md
index 9106e1e..a829e1b 100644
--- a/index.md
+++ b/index.md
@@ -19,6 +19,7 @@ Index
 * [Checking sources](checking).
 * [Building](building).
 * [Repositories](repositories).
+* [Cross compilation](cross).
 * [References](references).
 * [TODO](todo).
 * Custom procedures: