changeset 13164 | 72c5d01a857d |
parent 12892 | 3ef14bab6254 |
child 14231 | a0c23c1c010f |
--- a/jdk/makefiles/GendataHtml32dtd.gmk Wed Jul 05 18:14:56 2017 +0200 +++ b/jdk/makefiles/GendataHtml32dtd.gmk Tue Jul 03 16:10:44 2012 -0700 @@ -32,5 +32,4 @@ $(RM) $@ ($(TOOL_DTDBUILDER) html32 > $@) || exit 1 -GENDATA_HTML32DTD += $(HTML32DTD) - +GENDATA_HTML32DTD += $(HTML32DTD) \ No newline at end of file