diff options
author | Thomas Letan <lthms@soap.coffee> | 2022-08-13 17:19:40 +0200 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2022-08-13 17:19:40 +0200 |
commit | f4002f7e0fb5717abf781b3914183ed33b96df22 (patch) | |
tree | 86a269de50af08119e6351fdd93e5906ea8e6e4e | |
parent | Goodbye, cleopatra (diff) |
Add a toc in the index
-rw-r--r-- | site/index.org | 7 |
1 files 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: |