make/gendata/GendataHtml32dtd.gmk
changeset 52065 dea8a62cdfc3
parent 47216 71c04702a3d5
child 52804 28094715ae71
equal deleted inserted replaced
52064:50ef71b6fd3d 52065:dea8a62cdfc3
    26 GENDATA_HTML32DTD :=
    26 GENDATA_HTML32DTD :=
    27 
    27 
    28 HTML32DTD = $(JDK_OUTPUTDIR)/modules/java.desktop/javax/swing/text/html/parser/html32.bdtd
    28 HTML32DTD = $(JDK_OUTPUTDIR)/modules/java.desktop/javax/swing/text/html/parser/html32.bdtd
    29 $(HTML32DTD): $(BUILD_TOOLS_JDK)
    29 $(HTML32DTD): $(BUILD_TOOLS_JDK)
    30 	$(call LogInfo, Generating HTML DTD file)
    30 	$(call LogInfo, Generating HTML DTD file)
    31 	$(MKDIR) -p $(@D)
    31 	$(call MakeTargetDir)
    32 	$(RM) $@
    32 	$(RM) $@
    33 	($(TOOL_DTDBUILDER) html32 > $@) || exit 1
    33 	($(TOOL_DTDBUILDER) html32 > $@) || exit 1
    34 
    34 
    35 TARGETS += $(HTML32DTD)
    35 TARGETS += $(HTML32DTD)