From: beutel <beutel>
Date: Wed, 15 Aug 2007 14:28:15 +0000 (+0000)
Subject: added removal of temporary files from pdf generation
X-Git-Tag: release_tinyos_2_1_0_0~815
X-Git-Url: https://oss.titaniummirror.com/gitweb/?p=tinyos-2.x.git;a=commitdiff_plain;h=4e726f5a233bc3bc7e405993e890bb633b4656e3

added removal of temporary files from pdf generation
---

diff --git a/doc/build.xml b/doc/build.xml
index 2000a496..5fcea54e 100644
--- a/doc/build.xml
+++ b/doc/build.xml
@@ -12,5 +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>
 	</target>
 </project>