--- old/make/CompileModuleTools.gmk	2020-03-23 19:56:17.827962840 +0100
+++ new/make/CompileModuleTools.gmk	2020-03-23 19:56:17.475962843 +0100
@@ -37,9 +37,7 @@
 $(eval $(call SetupJavaCompilation,BUILD_JIGSAW_TOOLS, \
     SETUP := GENERATE_USINGJDKBYTECODE, \
     SRC := $(TOPDIR)/make/jdk/src/classes, \
-    INCLUDES := build/tools/deps \
-                build/tools/docs \
-                build/tools/jigsaw, \
+    INCLUDES := build/tools/jigsaw, \
     COPY := .properties .html, \
     BIN := $(TOOLS_CLASSES_DIR), \
     DISABLED_WARNINGS := fallthrough, \