diff options
| author | David Aspinall | 1998-09-24 17:08:24 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-24 17:08:24 +0000 |
| commit | a1b9ec55d9d4ac401f32e4b261b002bfc116202e (patch) | |
| tree | 21fca261f1737b7e365d05a0b89936cfb9f2268d | |
| parent | 0df9e73ede3cac9995538d6144629edc3a2cd40f (diff) | |
Added %clean
| -rw-r--r-- | etc/ProofGeneral.spec | 5 |
1 files changed, 5 insertions, 0 deletions
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 |