make/gendata/GendataHtml32dtd.gmk

*** 24,35 ****
  #
  
  GENDATA_HTML32DTD :=
  
  HTML32DTD = $(JDK_OUTPUTDIR)/modules/java.desktop/javax/swing/text/html/parser/html32.bdtd
! $(HTML32DTD): $(BUILD_TOOLS)
          $(ECHO) "Generating HTML DTD file"
          $(MKDIR) -p $(@D)
          $(RM) $@
          ($(TOOL_DTDBUILDER) $(LOG_INFO) html32 > $@) || exit 1
  
! GENDATA_HTML32DTD += $(HTML32DTD)
--- 24,35 ----
  #
  
  GENDATA_HTML32DTD :=
  
  HTML32DTD = $(JDK_OUTPUTDIR)/modules/java.desktop/javax/swing/text/html/parser/html32.bdtd
! $(HTML32DTD): $(BUILD_TOOLS_JDK)
          $(ECHO) "Generating HTML DTD file"
          $(MKDIR) -p $(@D)
          $(RM) $@
          ($(TOOL_DTDBUILDER) $(LOG_INFO) html32 > $@) || exit 1
  
! TARGETS += $(HTML32DTD)