diff options
author | 2005-07-15 15:24:51 +0000 | |
---|---|---|
committer | 2005-07-15 15:24:51 +0000 | |
commit | c31e2507bb0580b71be737106ee46b994dd8fbd6 (patch) | |
tree | 999fb78ba151ede88a3af8c21954d3872893c77d /etc | |
parent | 6bd1ec0924f6e8356a344dcbcee943683412aa59 (diff) |
Try to avoid packaging elcs inadvertently
Diffstat (limited to 'etc')
-rw-r--r-- | etc/ProofGeneral.spec | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index 5f6fe1b7..cfffa7ca 100644 --- a/etc/ProofGeneral.spec +++ b/etc/ProofGeneral.spec @@ -79,6 +79,8 @@ gzip ${RPM_BUILD_ROOT}/usr/share/info/* # Rename READMEs in subdirs to avoid clashes for f in */README; do mv $f $f.`dirname $f`; done +# Clean away elc's in main tree to avoid packaging them +make distclean %clean if [ "X" != "${RPM_BUILD_ROOT}X" ]; then |