Update templates

Makefile

@@ -29,12 +29,12 @@ dist:
 
 .PHONY: all clean dist theories examples html
 
-TEMPLATES ?= templates
+TEMPLATES ?= ../templates
 
-index.html: index.md
+resources/index.html: resources/index.md
 	pandoc -s $^ -o $@
 
-index.md: meta.yml
+resources/index.md: meta.yml $(TEMPLATES)/index.md.mustache
 	$(TEMPLATES)/generate.sh $@
 
 publish%:

README.md

@@ -8,9 +8,10 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 [![Contributing][contributing-shield]][contributing-link]
 [![Code of Conduct][conduct-shield]][conduct-link]
 [![Zulip][zulip-shield]][zulip-link]
+[![coqdoc][coqdoc-shield]][coqdoc-link]
 
-[docker-action-shield]: https://github.com/coq-community/coq-ext-lib/workflows/Docker%20CI/badge.svg?branch=master
-[docker-action-link]: https://github.com/coq-community/coq-ext-lib/actions?query=workflow:"Docker%20CI"
+[docker-action-shield]: https://github.com/coq-community/coq-ext-lib/actions/workflows/docker-action.yml/badge.svg?branch=master
+[docker-action-link]: https://github.com/coq-community/coq-ext-lib/actions/workflows/docker-action.yml
 
 [contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg
 [contributing-link]: https://github.com/coq-community/manifesto/blob/master/CONTRIBUTING.md
@@ -21,6 +22,8 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 [zulip-shield]: https://img.shields.io/badge/chat-on%20zulip-%23c1272d.svg
 [zulip-link]: https://coq.zulipchat.com/#narrow/stream/237663-coq-community-devs.20.26.20users
 
+[coqdoc-shield]: https://img.shields.io/badge/docs-coqdoc-blue.svg
+[coqdoc-link]: https://coq-community.org/coq-ext-lib
 
 
 A collection of theories and plugins that may be useful in other Coq developments.

coq-ext-lib.opam

@@ -8,6 +8,7 @@ version: "dev"
 homepage: "https://github.com/coq-community/coq-ext-lib"
 dev-repo: "git+https://github.com/coq-community/coq-ext-lib.git"
 bug-reports: "https://github.com/coq-community/coq-ext-lib/issues"
+doc: "https://coq-community.github.io/coq-ext-lib/"
 license: "BSD-2-Clause"
 
 synopsis: "A library of Coq definitions, theorems, and tactics"

meta.yml

@@ -93,11 +93,14 @@ documentation: |
   * theories/
     - Base directory to the provided theories
 
-coqdoc_index: |
+coqdoc: true
+index_documentation: |
+  Documentation
+  -------------
   - [0.12.0](v0.12.0/toc.html)
   - [0.11.8](v0.11.8/toc.html)
   - [0.11.7](v0.11.7/toc.html)
-  - [0.11.6](v0.11.6/toc.html)
+  - [0.11.6](v0.11.6/toc.html) (final support for Coq 8.8 and 8.10)
   - [0.11.5](v0.11.5/toc.html)
   - [0.11.4](v0.11.4/toc.html)
   - [0.11.3](v0.11.3/toc.html)