make/gendata/GendataHtml32dtd.gmk
changeset 52065 dea8a62cdfc3
parent 47216 71c04702a3d5
child 52804 28094715ae71
--- a/make/gendata/GendataHtml32dtd.gmk	Tue Oct 09 07:33:15 2018 -0400
+++ b/make/gendata/GendataHtml32dtd.gmk	Tue Oct 09 14:57:23 2018 -0700
@@ -28,7 +28,7 @@
 HTML32DTD = $(JDK_OUTPUTDIR)/modules/java.desktop/javax/swing/text/html/parser/html32.bdtd
 $(HTML32DTD): $(BUILD_TOOLS_JDK)
 	$(call LogInfo, Generating HTML DTD file)
-	$(MKDIR) -p $(@D)
+	$(call MakeTargetDir)
 	$(RM) $@
 	($(TOOL_DTDBUILDER) html32 > $@) || exit 1