Browse Source

Better Javadoc linking

main
Tony Garnock-Jones 8 months ago
parent
commit
fb7425c5fe
  1. 1
      build.xml

1
build.xml

@ -26,6 +26,7 @@
<target name="javadoc">
<javadoc destdir="doc" access="public">
<sourcepath path="src/main/java"/>
<link href="https://docs.oracle.com/en/java/javase/11/docs/api/"/>
</javadoc>
</target>

Loading…
Cancel
Save