added cleanpdf target

diff --git a/doc/Makefile b/doc/Makefile
index c2ffc6a1c416c9432fec2d4ce2f4f1732ba15c9e..8619ae41475d9e0028fa7b629098f298cbfcf715 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -39,3 +39,6 @@ teps: $(TEPS_HTML)
 clean:
        rm -f html/*.html txt/*~ pdf/*.log pdf/*.out pdf/*.tex pdf/*.aux
 
+cleanpdf:
+       rm -f pdf/*.log pdf/*.out pdf/*.tex pdf/*.aux
+

diff --git a/doc/build.xml b/doc/build.xml
index 0554f80b20934eaad0b5fa3d85f7e3a27d22541c..d9da73c30f1c5090de114921d35e6f44d1b2ac27 100644 (file)
--- a/doc/build.xml
+++ b/doc/build.xml
@@ -13,7 +13,7 @@
                        <arg  line="pdf" />
                </exec>
                <exec executable="make" failonerror="true">
-                       <arg  line="clean" />
+                       <arg  line="cleanpdf" />
                </exec>
        </target>
 </project>