--- old/make/Docs.gmk	2017-10-05 11:55:52.836893808 +0200
+++ new/make/Docs.gmk	2017-10-05 11:55:52.592897660 +0200
@@ -37,7 +37,7 @@
 
 ################################################################################
 # Hook to include the corresponding custom file, if present.
-$(eval $(call IncludeCustomExtension, , Docs.gmk))
+$(eval $(call IncludeCustomExtension, Docs.gmk))
 
 ################################################################################
 # This file generates all documentation for OpenJDK.