8233422: Extra space in the title of the HTML javadoc page
authorigerasim
Mon, 04 Nov 2019 13:02:40 -0800
changeset 58924 c41d1303a87c
parent 58923 2938e0a4e954
child 58925 9bbe560e8131
child 59177 afda8f7d266c
8233422: Extra space in the title of the HTML javadoc page Reviewed-by: ihse, erikj
make/Docs.gmk
--- a/make/Docs.gmk	Mon Nov 04 12:36:54 2019 -0800
+++ b/make/Docs.gmk	Mon Nov 04 13:02:40 2019 -0800
@@ -138,9 +138,9 @@
 ifeq ($(IS_DRAFT), true)
   DRAFT_MARKER_STR := <br><strong>DRAFT $(VERSION_STRING)</strong>
   ifeq ($(VERSION_BUILD), 0)
-    DRAFT_MARKER_TITLE := [ad-hoc build]
+    DRAFT_MARKER_TITLE := $(SPACE)[ad-hoc build]
   else
-    DRAFT_MARKER_TITLE := [build $(VERSION_BUILD)]
+    DRAFT_MARKER_TITLE := $(SPACE)[build $(VERSION_BUILD)]
   endif
   DRAFT_TEXT := This specification is not final and is subject to change. \
       Use is subject to <a href="$(LICENSE_URL)">license terms</a>.
@@ -304,7 +304,7 @@
 
   $1_DOC_TITLE := $$($1_LONG_NAME)<br>Version $$(VERSION_SPECIFICATION) API \
       Specification
-  $1_WINDOW_TITLE := $$(subst &amp;,&,$$($1_SHORT_NAME)) $$(DRAFT_MARKER_TITLE)
+  $1_WINDOW_TITLE := $$(subst &amp;,&,$$($1_SHORT_NAME))$$(DRAFT_MARKER_TITLE)
   $1_HEADER_TITLE := <div $$(HEADER_STYLE)><strong>$$($1_SHORT_NAME)</strong> \
       $$(DRAFT_MARKER_STR)</div>