added removal of temporary files from pdf generation

diff --git a/doc/build.xml b/doc/build.xml
index 2000a496dde362ae7639cb381d60412e4c04b2ce..5fcea54ed4e3174d747ce3fdd59c0fa37e119cc3 100644 (file)
--- a/doc/build.xml
+++ b/doc/build.xml
@@ -12,5 +12,8 @@
                <exec executable="make" failonerror="true">
                        <arg  line="pdf" />
                </exec>
+               <exec executable="rm" failonerror="true">
+                       <arg  line="pdf/*.out pdf/*.aux pdf/*.log" />
+               </exec>
        </target>
 </project>