make/Javadoc.gmk

changeset 1216
d8a715bb7aad
parent 1214
765a17e75fd6
child 1288
7801df19942d
child 1334
91d30b1c1e89
equal deleted inserted replaced
1215:335b33942fad 1216:d8a715bb7aad
112 # Common line for how to submit a bug or rfe 112 # Common line for how to submit a bug or rfe
113 BUG_SUBMIT_LINE = <a href="$(BUG_SUBMIT_URL)">Submit a bug or feature</a> 113 BUG_SUBMIT_LINE = <a href="$(BUG_SUBMIT_URL)">Submit a bug or feature</a>
114 114
115 # Url to devdocs page 115 # Url to devdocs page
116 # Was: http://java.sun.com/javase/6/webnotes/devdocs-vs-specs.html 116 # Was: http://java.sun.com/javase/6/webnotes/devdocs-vs-specs.html
117 DEV_DOCS_URL-7 = http://download.oracle.com/javase/7/docs/index.html 117 DEV_DOCS_URL-7 = https://docs.oracle.com/javase/7/docs/index.html
118 DEV_DOCS_URL-8 = http://download.oracle.com/javase/8/docs/index.html 118 DEV_DOCS_URL-8 = https://docs.oracle.com/javase/8/docs/index.html
119 DEV_DOCS_URL = $(DEV_DOCS_URL-$(JDK_MINOR_VERSION)) 119 DEV_DOCS_URL = $(DEV_DOCS_URL-$(JDK_MINOR_VERSION))
120 DOCS_BASE_URL = http://download.oracle.com/javase/7/docs 120 DOCS_BASE_URL = https://docs.oracle.com/javase/7/docs
121 121
122 # Common Java trademark line 122 # Common Java trademark line
123 JAVA_TRADEMARK_LINE = Java is a trademark or registered trademark of \ 123 JAVA_TRADEMARK_LINE = Java is a trademark or registered trademark of \
124 $(FULL_COMPANY_NAME) in the US and other countries. 124 $(FULL_COMPANY_NAME) in the US and other countries.
125 125

mercurial