From c31e2507bb0580b71be737106ee46b994dd8fbd6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 15 Jul 2005 15:24:51 +0000
Subject: Try to avoid packaging elcs inadvertently

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

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
-- 
cgit v1.2.3