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 |