1 files changed, 1 insertions, 0 deletions
diff --git a/index.md b/index.md
index a829e1b..90c5a05 100644
--- a/index.md
+++ b/index.md
@@ -21,6 +21,7 @@ Index
 * [Repositories](repositories).
 * [Cross compilation](cross).
 * [References](references).
+* [Local ITP](itp).
 * [TODO](todo).
 * Custom procedures:
   * [LEAP](leap).