diff options
author | Sven Gothel <[email protected]> | 2013-07-17 16:13:58 +0200 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2013-07-17 16:13:58 +0200 |
commit | 717acaa8dc760ce17908ba3d3f06b4f26c1cac6f (patch) | |
tree | 68fdda3bdceee4d927f53f791a5ec6b6892c9a72 /build.xml | |
parent | 8bcfb75d5812cc590f362bcc078bc15e3d975cf2 (diff) |
Javadoc: Use JogAmp Stylesheet / Colors ..v2.0.2
Diffstat (limited to 'build.xml')
-rw-r--r-- | build.xml | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -630,7 +630,8 @@ noindex="${javadoc.noindex}" nonavbar="${javadoc.nonavbar}" notree="${javadoc.notree}" private="${javadoc.private}" source="${javac.source}" splitindex="${javadoc.splitindex}" use="${javadoc.use}" useexternalfile="true" version="${javadoc.version}" - windowtitle="${javadoc.windowtitle}" overview="${basedir}/src/overview.html"> + windowtitle="${javadoc.windowtitle}" overview="${basedir}/src/overview.html" + stylesheetfile="${gluegen.root}/make/doc/javadoc/stylesheet.css"> <arg line="${javadoc.additionalparam} -J-Dnativetaglet.mapping=${basedir}/resources/native-taglet.properties"/> <taglet name="net.highteq.nativetaglet.NativeTaglet" path="${gluegen.root}/${rootrel.build}/gluegen.jar"/> @@ -656,6 +657,9 @@ </fileset> </javadoc> + <copy todir="${dist.javadoc.dir}/resources" overwrite="true"> + <fileset dir="${gluegen.root}/make/doc/javadoc/resources" includes="*" /> + </copy> </target> |