From a1b9ec55d9d4ac401f32e4b261b002bfc116202e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Sep 1998 17:08:24 +0000
Subject: Added %clean

---
 etc/ProofGeneral.spec | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index 0f141ab4..e64c4740 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -39,6 +39,11 @@ rm -f */*.orig
 mkdir -p ${RPM_BUILD_ROOT}/usr/lib/ProofGeneral
 cp -pr coq lego isa images generic ${RPM_BUILD_ROOT}/usr/lib/ProofGeneral
 
+%clean
+if [ "X" != "${RPM_BUILD_ROOT}X" ]; then
+    rm -rf $RPM_BUILD_ROOT
+fi
+
 %files
 %attr(-,root,root) %doc BUGS INSTALL doc/*
 %attr(0755,root,root) %dir /usr/lib/ProofGeneral
-- 
cgit v1.2.3