From 52121b56c97684181b204bbb0042e3b226e25271 Mon Sep 17 00:00:00 2001
From: beutel <beutel>
Date: Wed, 15 Aug 2007 14:38:23 +0000
Subject: [PATCH] changed rm to make clean

---
 doc/build.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/build.xml b/doc/build.xml
index 5fcea54e..0554f80b 100644
--- 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>
-- 
2.39.2