jdk/makefiles/GendataHtml32dtd.gmk
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