From: beutel <beutel>
Date: Wed, 15 Aug 2007 14:38:23 +0000 (+0000)
Subject: changed rm to make clean
X-Git-Tag: release_tinyos_2_1_0_0~814
X-Git-Url: https://oss.titaniummirror.com/gitweb/?p=tinyos-2.x.git;a=commitdiff_plain;h=52121b56c97684181b204bbb0042e3b226e25271

changed rm to make clean
---

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>