From 4e726f5a233bc3bc7e405993e890bb633b4656e3 Mon Sep 17 00:00:00 2001
From: beutel <beutel>
Date: Wed, 15 Aug 2007 14:28:15 +0000
Subject: [PATCH] added removal of temporary files from pdf generation

---
 doc/build.xml | 3 +++
 1 file changed, 3 insertions(+)

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>
-- 
2.39.2