[submodule "coqdocjs"]
	path = coqdocjs
	url = https://github.com/coq-community/coqdocjs.git
[submodule "templates"]
	path = templates
	url = https://github.com/coq-community/templates.git
