diff --git a/manual/Makefile b/manual/Makefile
index ca2b58056..0ccbf1888 100644
--- a/manual/Makefile
+++ b/manual/Makefile
@@ -10,6 +10,7 @@ tests: manual
 tools:
 	$(MAKE) -C tools clean
 	$(MAKE) -C tools all
+	$(MAKE) -C tests tools
 
 manual: tools
 	$(MAKE) -C manual all
diff --git a/manual/tests/Makefile b/manual/tests/Makefile
index e00870b41..802f43a02 100644
--- a/manual/tests/Makefile
+++ b/manual/tests/Makefile
@@ -2,8 +2,11 @@ TOPDIR=$(abspath ../..)
 include $(TOPDIR)/Makefile.tools
 MANUAL=$(TOPDIR)/manual/manual
 
+.PHONY: all
 all: check-cross-references check-stdlib
 
+.PHONY: tools
+tools: cross-reference-checker
 
 cross-reference-checker: cross_reference_checker.ml
 	$(OCAMLC) $(TOPDIR)/compilerlibs/ocamlcommon.cma \