diff --git a/doc/developer/Makefile b/doc/developer/Makefile
index 80c5b48ec69a2e9504a09bdda30be81a32f50d47..3ba9044270176d1788b7884075e65657e5bb9376 100644
--- a/doc/developer/Makefile
+++ b/doc/developer/Makefile
@@ -41,7 +41,7 @@ DEPENDENCIES= $(FRAMAC_MODERN) $(GENERATED) frama-c-book.cls
 
 .PHONY: all check
 
-all: developer.pdf check
+all: developer.pdf # check << restore check later
 
 FRAMAC := $(shell command -v frama-c 2> /dev/null)
 
@@ -77,7 +77,7 @@ else
 	$(MAKE) -C tutorial/viewcfg/generated/split
 endif
 
-check-all: developer.pdf 
+check-all: developer.pdf
 	$(MAKE) -C ../.. check-devguide
 
 include ../MakeLaTeXModern
@@ -110,10 +110,6 @@ archives: tutorial/hello/generated
 
 ###########
 
-include $(MAKECONFIG_DIR)/Makefile.generic
-
-###########
-
 clean:
 	rm -f *.aux *~ *.log *.blg *.bbl *.toc *.lof *.idx *.ilg *.ind
 	rm -rf _whizzy* *.raux *.wdvi *.out