From b02807438491db160e56eb4c79da4c8fdfac5d19 Mon Sep 17 00:00:00 2001
From: Erik Joelsson <erikj@openjdk.org>
Date: Mon, 2 Nov 2020 14:45:39 +0000
Subject: [PATCH] 8255673: Wrong version in docs bundles

Reviewed-by: tbell, ihse
---
 make/conf/jib-profiles.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/make/conf/jib-profiles.js b/make/conf/jib-profiles.js
index 6415ba3189c..9085240295a 100644
--- a/make/conf/jib-profiles.js
+++ b/make/conf/jib-profiles.js
@@ -687,11 +687,12 @@ var getJibProfilesProfiles = function (input, common, data) {
             dependencies: [
                 "boot_jdk", "devkit", "graphviz", "pandoc", buildJdkDep,
             ],
-            configure_args: [
+            configure_args: concat(
                 "--enable-full-docs",
+                versionArgs(input, common),
                 "--with-build-jdk=" + input.get(buildJdkDep, "home_path")
                     + (input.build_os == "macosx" ? "/Contents/Home" : "")
-            ],
+            ),
             default_make_targets: ["all-docs-bundles"],
             artifacts: {
                 doc_api_spec: {