diff options
| -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 |