mirror of
https://github.com/openjdk/jdk.git
synced 2026-04-14 00:49:42 +00:00
Merge
This commit is contained in:
commit
7030b0f6fb
@ -85,8 +85,8 @@ ifdef OPENJDK
|
||||
else
|
||||
# make/closed/common/Defs.gmk for closed location of SHARE_JDK_DOC_SRC
|
||||
|
||||
IMAGE_DOCLIST_JDK = COPYRIGHT README.html THIRDPARTYLICENSEREADME.txt
|
||||
IMAGE_DOCLIST_JRE = COPYRIGHT Welcome.html THIRDPARTYLICENSEREADME.txt
|
||||
IMAGE_DOCLIST_JDK = COPYRIGHT README.html LICENSE THIRDPARTYLICENSEREADME.txt
|
||||
IMAGE_DOCLIST_JRE = COPYRIGHT Welcome.html LICENSE THIRDPARTYLICENSEREADME.txt
|
||||
ifeq ($(PLATFORM), windows)
|
||||
IMAGE_DOCLIST_JRE += README.txt
|
||||
else
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user