# HG changeset patch
# User erikj
# Date 1369211499 -7200
# Node ID 51479b4c6339e3fa750f86cefea7a0fd0dcde92f
# Parent  438c04e4bc0c6f5608f58db6f8579665e4e2432c
8014970: Use open man pages for non commercial builds
Reviewed-by: omajid, tbell

diff -r 438c04e4bc0c -r 51479b4c6339 jdk/makefiles/Images.gmk
--- a/jdk/makefiles/Images.gmk	Tue May 21 12:54:41 2013 -0700
+++ b/jdk/makefiles/Images.gmk	Wed May 22 10:31:39 2013 +0200
@@ -352,11 +352,8 @@
         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