diff --git a/.gitmodules b/.gitmodules
index 716d8b2..849a6b3 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "coqdocjs"]
 	path = coqdocjs
-	url = git@github.com:coq-community/coqdocjs.git
+	url = https://github.com/coq-community/coqdocjs.git