This is the Ant build file library for building the Se release of project Hilbert II. Herein are macro definitons to make releasing easier. clean @{name} Copying module sources: @{name} Copying module test sources: @{name} qedeq.test.@{name}.data-present=${qedeq.test.@{name}.data-present} Copying module test data: ${QedeqModule} compile @{name} compile tests @{name} test @{name} pest @{name} creating HTML source for @{name} checkstyle @{name} ${checkstyle.basedir.@{name}} findbugs @{name} with $${findbugs.home}=${findbugs.home} jdepend @{name} assemble reports for @{name} latex -output-directory @{dir} @{dir}/@{file} makeindex @{dir}/@{file} latex -output-directory @{dir} @{dir}/@{file} makeindex @{dir}/@{file} pdflatex -output-directory @{dir} @{dir}/@{file}