diff -r ddcafe0d0ea3 -r 7be55dfa1742 jdk/make/CompileTools.gmk
--- a/jdk/make/CompileTools.gmk	Fri May 12 15:15:43 2017 -0400
+++ b/jdk/make/CompileTools.gmk	Fri May 12 13:29:38 2017 -0700
@@ -46,6 +46,7 @@
     SETUP := GENERATE_OLDBYTECODE, \
     SRC := $(BUILD_TOOLS_SRC_DIRS), \
     EXCLUDES := build/tools/deps \
+                build/tools/docs \
                 build/tools/jigsaw, \
     BIN := $(BUILDTOOLS_OUTPUTDIR)/jdk_tools_classes))