diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a3272c00e2c96a9574333d62467c5ea25958071c..352ef374b3f6281c4b2427ef2a20c46e4ff8b067 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -14,6 +14,10 @@
 # You should have received a copy of the GNU General Public License
 # along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
+variables:
+  GIT_SUBMODULE_STRATEGY: recursive
+  GIT_SUBMODULE_FORCE_HTTPS: "true"
+
 stages:
   - build
 
diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 0000000000000000000000000000000000000000..849a6b35e0d0739ca24f5105e74416c58c95e10e
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "coqdocjs"]
+	path = coqdocjs
+	url = https://github.com/coq-community/coqdocjs.git
diff --git a/Makefile b/Makefile
index 15f6593bd982039fa8fe06e36c1e7048f47e3c83..3eb5ed9d29082f14386e2405295a04c9131b1f91 100644
--- a/Makefile
+++ b/Makefile
@@ -17,15 +17,11 @@
 # Configuration
 
 #TODO Change the following lines for configuration.
-PROJNAME = CoMoProj
 COMPONENTS := src:SRC
 
 COQDOC_FLAGS = --utf8
 
-all: coq html
-
-coq: Makefile.coq
-	$(MAKE) -f Makefile.coq all
+all: coqdoc
 
 define GENCoqDoc
 BEGIN { RS="[[:space:]]"; FS=":" }			\
@@ -46,7 +42,7 @@ html: Makefile.coq
 	VFILES="$(shell echo $(COMPONENTS) | awk '$(GENCoqDoc)')" $(MAKE) -e -f Makefile.coq html
 
 Makefile.coq: _CoqProject
-	coq_makefile -f $< -o $@ COQDOCEXTRAFLAGS = "--lib-name $(PROJNAME)"
+	coq_makefile -f $< -o $@
 
 clean: Makefile.coq
 	$(MAKE) -f $< cleanall
@@ -74,4 +70,7 @@ endef
 _CoqProject: Makefile $(shell echo $(COMPONENTS) | awk '$(GENDirList)')
 	echo $(COMPONENTS) | awk '$(GENCoqPr)' > $@
 
-.PHONY: all coq html clean
+.PHONY: all html clean
+
+COQMAKEFILE := Makefile # Do not change!
+include coqdocjs/Makefile.doc
diff --git a/coqdocjs b/coqdocjs
new file mode 160000
index 0000000000000000000000000000000000000000..57401849fffb24500c078973a8382dd3086fd2bf
--- /dev/null
+++ b/coqdocjs
@@ -0,0 +1 @@
+Subproject commit 57401849fffb24500c078973a8382dd3086fd2bf