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