diff --git a/Makefile b/Makefile
index 27e3a6e2ef22959659f852f1a81fa0e1e66769f7..8e1fd43895e187dff10be8c87a3f97727b5a5a6f 100644
--- a/Makefile
+++ b/Makefile
@@ -1712,8 +1712,11 @@ $(CHECK_API_DIR)/check_code.cmxs: $(CHECK_API_DIR)/check_code.ml
 
 CHECK_CODE=$(CHECK_API_DIR)/check_code.cmxs
 
-.PHONY: check-devguide
-check-devguide: $(CHECK_CODE) $(DOC_DEPEND) $(DOC_DIR)/kernel-doc.ocamldoc
+.PHONY: check-devguide devguide
+devguide:
+	$(MAKE) FRAMAC_INTERNAL=no -C $(DOC_DEV_DIR)
+
+check-devguide: $(CHECK_CODE) $(DOC_DEPEND) $(DOC_DIR)/kernel-doc.ocamldoc devguide
 	$(PRINT) 'Checking     developer guide consistency'
 	$(MKDIR) $(CHECK_API_DIR)/html
 	$(OCAMLDOC) $(DOC_FLAGS) -I $(OCAMLLIB) \