diff options
| -rw-r--r-- | build/build.xml | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/build/build.xml b/build/build.xml index 51a345a0f1..f63f523c3c 100644 --- a/build/build.xml +++ b/build/build.xml @@ -118,7 +118,15 @@ <!-- Documentation- - - - - - - - - - - - - - - - - - - - - - - - - --> - <target name="docs" depends="javadoc,manual-pdf,manual-html"> + <target name="docs" depends="javadoc,manual-pdf,manual-html,package-docs"> + </target> + + <target name="package-docs" depends="init"> + <copy todir="${output-dir}"> + <fileset dir="doc/package-docs"> + <exclude name="**/.svn"/> + </fileset> + </copy> </target> <target name="javadoc" depends="init"> |