< prev index next >

jdk/make/gendata/GendataHtml32dtd.gmk

Print this page

        

@@ -25,11 +25,11 @@
 
 GENDATA_HTML32DTD :=
 
 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
 
 TARGETS += $(HTML32DTD)
< prev index next >