diff --git a/make/Docs.gmk b/make/Docs.gmk index f01257c19d0..6ce6435e210 100644 --- a/make/Docs.gmk +++ b/make/Docs.gmk @@ -138,9 +138,9 @@ JAVA_PLATFORM := Java Platform ifeq ($(IS_DRAFT), true) DRAFT_MARKER_STR :=
DRAFT $(VERSION_STRING) 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 license terms. @@ -304,7 +304,7 @@ define SetupApiDocsGenerationBody $1_DOC_TITLE := $$($1_LONG_NAME)
Version $$(VERSION_SPECIFICATION) API \ Specification - $1_WINDOW_TITLE := $$(subst &,&,$$($1_SHORT_NAME)) $$(DRAFT_MARKER_TITLE) + $1_WINDOW_TITLE := $$(subst &,&,$$($1_SHORT_NAME))$$(DRAFT_MARKER_TITLE) $1_HEADER_TITLE :=
$$($1_SHORT_NAME) \ $$(DRAFT_MARKER_STR)