169 |
|
|
170 |
<!-- Support @jls tag, used in jdk8+ javadoc --> |
<!-- Support @jls tag, used in jdk8+ javadoc --> |
171 |
<!-- TODO: How do we get &trade to work? --> |
<!-- TODO: How do we get &trade to work? --> |
172 |
|
<!-- TODO: Why isn't @jls a "standard" tag? --> |
173 |
<!-- property name="javadoc.jls.cite" value="The Java™ Language Specification" --> |
<!-- property name="javadoc.jls.cite" value="The Java™ Language Specification" --> |
174 |
<property name="javadoc.jls.cite" value="The Java Language Specification"/> |
<property name="javadoc.jls.cite" value="The Java Language Specification"/> |
175 |
<property name="javadoc.jls.option" value="jls:a:See <cite>${javadoc.jls.cite}</cite>:"/> |
<property name="javadoc.jls.option" value="jls:a:See <cite>${javadoc.jls.cite}</cite>:"/> |