From 56a9136427a0221fc6a9e905a2c36f03c7e8e9fa Mon Sep 17 00:00:00 2001
From: Yishuai Li <yishuai@upenn.edu>
Date: Mon, 21 Dec 2020 20:06:19 -0500
Subject: [PATCH] feat: Add index_documentation

---
 index.md.mustache | 2 ++
 ref.yml           | 6 ++++++
 2 files changed, 8 insertions(+)

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