# HG changeset patch
# User igerasim
# Date 1572901360 28800
# Node ID c41d1303a87c37f34be2e05422eba0d688ad111e
# Parent  2938e0a4e954a5e1983438a0ef0fd600f8a50402
8233422: Extra space in the title of the HTML javadoc page
Reviewed-by: ihse, erikj

diff -r 2938e0a4e954 -r c41d1303a87c 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>