Generate index with old template

Author: liyishuai

.gitignore

@@ -19,6 +19,7 @@ deps.pdf
 .DS_Store
 html
 index.md
+index.html
 *.coq.d
 *.vok
 *.vos

.gitmodules

@@ -1,3 +1,6 @@
 [submodule "coqdocjs"]
 	path = coqdocjs
 	url = https://github.com/coq-community/coqdocjs.git
+[submodule "templates"]
+	path = templates
+	url = https://github.com/coq-community/templates.git

Makefile

@@ -28,7 +28,7 @@ dist:
 
 .PHONY: all clean dist theories examples html
 
-TEMPLATES ?= ../templates
+TEMPLATES ?= templates
 
 index.html: index.md
 	pandoc -s $^ -o $@

meta.yml

@@ -77,6 +77,8 @@ documentation: |
     - Base directory to the provided theories
 
 coqdoc_index: |
+  - [0.11.4](v0.11.4/toc.html)
+  - [0.11.3](v0.11.3/toc.html)
   - [0.11.2](v0.11.2/toc.html)
   - [0.11.1](v0.11.1/toc.html)
   - [0.11.0](v0.11.0/toc.html)