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