diff options
| -rw-r--r-- | build/build.xml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/build/build.xml b/build/build.xml index 4beb0bae6a..825ae68d37 100644 --- a/build/build.xml +++ b/build/build.xml @@ -226,7 +226,11 @@ <exclude name="**/.svn" /> <include name="*.html" /> <include name="*.txt" /> - <include name="*.pdf" /> + </fileset> + </copy> + <copy todir="${output-dir}"> + <fileset dir=""> + <filename name="*.pdf" /> </fileset> </copy> <copy todir="${output-dir}/doc/manual/html-style"> |