From 9f6cc0b96bc271ceaabacc1cc6c376b0cc5229ff Mon Sep 17 00:00:00 2001
From: beutel <beutel>
Date: Wed, 15 Aug 2007 15:04:58 +0000
Subject: [PATCH] added cleanpdf target

---
 doc/Makefile  | 3 +++
 doc/build.xml | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/doc/Makefile b/doc/Makefile
index c2ffc6a1..8619ae41 100644
--- 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 0554f80b..d9da73c3 100644
--- 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>
-- 
2.39.2