From f4002f7e0fb5717abf781b3914183ed33b96df22 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Sat, 13 Aug 2022 17:19:40 +0200
Subject: Add a toc in the index

---
 site/index.org | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/site/index.org b/site/index.org
index 4236731..cccbd17 100644
--- a/site/index.org
+++ b/site/index.org
@@ -1,8 +1,11 @@
 #+TITLE: Technical Articles
 
 Over the past years, I have tried to capitalize on my findings. I have
-lacked in regularity, but I hope I I made up for it in subject
-exoticism.
+lacked in regularity, but I hope I I made up for it in exoticism.
+
+#+begin_export html
+<nav id="generate-toc"></nav>
+#+end_export
 
 * About Coq
   :PROPERTIES:
-- 
cgit v1.2.3