feat: separate documentation and publication

coq-community · Jan 17, 2024 · 7e9c0ce · 7e9c0ce
1 parent 078c045
commit 7e9c0ce
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/index.md.mustache b/index.md.mustache
@@ -30,13 +30,15 @@ This is an open source project, licensed under the {{& fullname }}.
 
 The current stable release of {{& fullname }} can be [downloaded from GitHub](https://github.com/{{ organization }}/{{ shortname }}/releases).
 
+{{# coqdoc_index }}
 ## Documentation
 
-{{# coqdoc_index }}
 The coqdoc presentation of the source files can be browsed [here]({{ coqdoc_index }})
 {{/ coqdoc_index }}
 
-Related publications, if any, are listed below.
+{{# publications.length }}
+## Publications
+{{/ publications.length }}
 
 {{# publications }}
 - [{{& pub_title }}]({{ pub_url }}) {{# pub_doi }}doi:[{{ pub_doi }}](https://doi.org/{{ pub_doi }}){{/ pub_doi}}

diff --git a/ref.yml b/ref.yml
@@ -103,6 +103,8 @@ fields:
         - index.md
   - coqdoc:
       type: bool
+      description: >
+        Set to true if the project has Coqdoc webpages.
       used:
         - README.md
         - coq.opam