Merge pull request #90 from coq-community/index-documentation

feat: Add index_documentation
coq-community · Jan 12, 2024 · 078c045 · 078c045
2 parents a678571 + 56a9136
commit 078c045
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git 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
@@ -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