From 1c571210619fd5b85a3aeb972038a48ee2d1e35b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= Date: Tue, 5 May 2020 22:28:34 +0200 Subject: [PATCH] Rename description field of dependencies and add a default value. If the description field of a dependency is not provided, the description of the project itself was used instead. We avoid this by renaming the former field, and we default to using the opam name when the description is not provided. --- README.md.mustache | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md.mustache b/README.md.mustache index cc2a55e..2348f36 100644 --- a/README.md.mustache +++ b/README.md.mustache @@ -79,7 +79,7 @@ - Compatible OCaml versions: {{& text }} {{/ supported_ocaml_versions }} - Additional dependencies:{{# dependencies }} - - {{& description }}{{/ dependencies }}{{^ dependencies }} none{{/ dependencies }} + - {{& text_description }}{{^ text_description }}{{# opam }}{{ name }}{{/ opam }}{{/ text_description}}{{/ dependencies }}{{^ dependencies }} none{{/ dependencies }} - Coq namespace: `{{ namespace }}` - Related publication(s):{{# publications }} - [{{& pub_title }}]({{ pub_url }}) {{# pub_doi }}doi:[{{ pub_doi }}](https://doi.org/{{ pub_doi }}){{/ pub_doi}}{{/ publications }}{{^ publications }} none{{/ publications }}