From 9c2b1f2f7630e2f96834c5aced9e33a583af9681 Mon Sep 17 00:00:00 2001
From: Archana Nogriya <archana.nogriya@uk.ibm.com>
Date: Mon, 30 Apr 2018 09:49:08 -0700
Subject: [PATCH] 8202383: Custom extensions for jvmti doc

Reviewed-by: erikj
---
 make/Docs.gmk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make/Docs.gmk b/make/Docs.gmk
index cd611e654cb..df5feca3208 100644
--- a/make/Docs.gmk
+++ b/make/Docs.gmk
@@ -561,7 +561,7 @@ $(eval $(call SetupCopyFiles, COPY_JDWP_PROTOCOL, \
 JDK_SPECS_TARGETS += $(COPY_JDWP_PROTOCOL)
 
 # Get jvmti.html from the main jvm variant (all variants' jvmti.html are identical).
-JVMTI_HTML := $(HOTSPOT_OUTPUTDIR)/variant-$(JVM_VARIANT_MAIN)/gensrc/jvmtifiles/jvmti.html
+JVMTI_HTML ?= $(HOTSPOT_OUTPUTDIR)/variant-$(JVM_VARIANT_MAIN)/gensrc/jvmtifiles/jvmti.html
 $(eval $(call SetupCopyFiles, COPY_JVMTI_HTML, \
     FILES := $(JVMTI_HTML), \
     DEST := $(DOCS_OUTPUTDIR)/specs, \