diff options
| author | Sven Gothel <[email protected]> | 2015-02-03 03:19:20 +0100 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2015-02-03 03:19:20 +0100 |
| commit | e62bfeb913ce2665670fc095203cddad724935a1 (patch) | |
| tree | 941fd52e6daf4605a45e383ff9934225d02b0ec6 | |
| parent | 9e1e4e8946c4f8089234a5788c0bee14ee2d0ff1 (diff) | |
Add javadoc arg (property 'javadoc.xarg1') '-Xdoclint:none' if java >= 1.8 (GlueGen commit d8dff4c9f2186749b167195eeb339c33f56864e8)
| -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 86b5fe6..1c54e58 100644 --- a/make/build.xml +++ b/make/build.xml @@ -324,6 +324,7 @@ <link href="${javadoc.link}" /> <!-- FIXME: this doesn't work --> <link href="${javadoc.link.jogl}" /> + <arg value="${javadoc.xarg1}"/> </javadoc> </target> |