changed rm to make clean

diff --git a/doc/build.xml b/doc/build.xml
index 5fcea54ed4e3174d747ce3fdd59c0fa37e119cc3..0554f80b20934eaad0b5fa3d85f7e3a27d22541c 100644 (file)
--- a/doc/build.xml
+++ b/doc/build.xml
@@ -12,8 +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 executable="make" failonerror="true">
+                       <arg  line="clean" />
                </exec>
        </target>
 </project>