diff options
Diffstat (limited to 'docs/man/build.xml')
-rw-r--r-- | docs/man/build.xml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/docs/man/build.xml b/docs/man/build.xml index 37116463ff..370fe32f08 100644 --- a/docs/man/build.xml +++ b/docs/man/build.xml @@ -56,6 +56,14 @@ <emit command="scalap"/> <emit command="scalascript"/> <fixcrlf srcdir="${dist.dir}" eol="lf"/> + <copy todir="${dist.dir}"> + <fileset dir="${src.dir}"> + <include name="**/*.html"/> + <include name="**/*.css"/> + <include name="**/*.gif"/> + <include name="**/*.png"/> + </fileset> + </copy> </target> <macrodef name="emit"> |