diff --git a/index.md.mustache b/index.md.mustache
index fbda8a7..cfe2073 100644
--- a/index.md.mustache
+++ b/index.md.mustache
@@ -55,3 +55,5 @@ Related publications, if any, are listed below.
 {{# authors }}
 - {{& name }}{{# orcid }} [<img src="https://zenodo.org/static/img/orcid.svg" height="14px" alt="ORCID logo" />](https://orcid.org/{{ orcid }}){{/ orcid }}{{# initial }} (initial){{/ initial }}
 {{/ authors }}{{& after_authors }}
+
+{{& index_documentation }}
diff --git a/ref.yml b/ref.yml
index c0fd36b..2ef3b7c 100644
--- a/ref.yml
+++ b/ref.yml
@@ -388,6 +388,12 @@ fields:
         The part of the README that is not auto-generated.
       used:
         - README.md
+  - index_documentation:
+      required: false
+      description: >
+        The part of index.md that is not auto-generated.
+      used:
+        - index.md
   - coqdoc_index:
       required: false
       description: Position of Coqdoc main page relative to index