--- a/jdk/make/gendata/GendataHtml32dtd.gmk	Sat Jan 16 00:18:33 2016 +0000
+++ b/jdk/make/gendata/GendataHtml32dtd.gmk	Sat Jan 16 13:01:44 2016 +0100
@@ -27,7 +27,7 @@
 
 HTML32DTD = $(JDK_OUTPUTDIR)/modules/java.desktop/javax/swing/text/html/parser/html32.bdtd
 $(HTML32DTD): $(BUILD_TOOLS_JDK)
-	$(ECHO) "Generating HTML DTD file"
+	$(call LogInfo, Generating HTML DTD file)
 	$(MKDIR) -p $(@D)
 	$(RM) $@
 	($(TOOL_DTDBUILDER) $(LOG_INFO) html32 > $@) || exit 1