From 4f379110930332ef46373b4e0f452cc1f4582a97 Mon Sep 17 00:00:00 2001
From: erikj <unknown>
Date: Wed, 22 May 2013 10:31:39 +0200
Subject: [PATCH] 8014970: Use open man pages for non commercial builds
 Reviewed-by: omajid, tbell

---
 makefiles/Images.gmk | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/makefiles/Images.gmk b/makefiles/Images.gmk
index fb74b2dc7..a1db8b9a1 100644
--- a/makefiles/Images.gmk
+++ b/makefiles/Images.gmk
@@ -352,11 +352,8 @@ ifneq ($(OPENJDK_TARGET_OS),windows)
         JDK_MAN_PAGES += jvisualvm.1
     endif
 
-    ifndef OPENJDK
-        MAN_SRC_BASEDIR:=$(JDK_TOPDIR)/src/closed
-    else
-        MAN_SRC_BASEDIR:=$(JDK_TOPDIR)/src
-    endif
+    # This variable is potentially overridden in the closed makefile.
+    MAN_SRC_BASEDIR ?= $(JDK_TOPDIR)/src
 
     ifeq ($(OPENJDK_TARGET_OS), linux)
         MAN_SRC_DIR:=$(MAN_SRC_BASEDIR)/linux/doc
-- 
GitLab