From 9326bbed1a60f2fc30bdf79bdcfee849841cd260 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 26 Sep 2000 17:27:33 +0000
Subject: Fix adding af2 to RPM.

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

diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index 9af7debb..e217c7ee 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -59,7 +59,7 @@ gzip ${RPM_BUILD_ROOT}/usr/info/PG-adapting.info ${RPM_BUILD_ROOT}/usr/info/PG-a
 # Remove duff bits
 rm -f doc/dir doc/localdir 
 
-cp -pr coq lego isa isar hol98 images generic ${RPM_BUILD_ROOT}/usr/share/emacs/ProofGeneral
+cp -pr af2 coq lego isa isar hol98 images generic ${RPM_BUILD_ROOT}/usr/share/emacs/ProofGeneral
 
 
 %clean
-- 
cgit v1.2.3