diff options
| author | Sven Gothel <[email protected]> | 2015-02-03 03:06:57 +0100 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2015-02-03 03:06:57 +0100 |
| commit | d8dff4c9f2186749b167195eeb339c33f56864e8 (patch) | |
| tree | c98d5448c2ecc98e8541e0a328c684d276575096 /make/build.xml | |
| parent | 1a80c33a16594e9a7182887a911ed44c9fbc9f79 (diff) | |
Add javadoc arg '-Xdoclint:none' if java >= 1.8 via property 'javadoc.xarg1' avoiding javadoc build failure
Diffstat (limited to 'make/build.xml')
| -rw-r--r-- | make/build.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/make/build.xml b/make/build.xml index 94bef07..aa3282b 100644 --- a/make/build.xml +++ b/make/build.xml @@ -1042,6 +1042,7 @@ stylesheetfile="doc/javadoc/stylesheet.css"> <classpath path="${classes}"/> <link offline="true" href="${javadoc.link}" packagelistLoc="142-packages" /> + <arg value="${javadoc.xarg1}"/> </javadoc> <copy todir="${javadoc.gluegen.path}/resources" overwrite="true"> <fileset dir="doc/javadoc/resources" includes="*" /> |