From 0908b6cc678eaf75f56ccf0126de9d3226001f3b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 29 Sep 2000 20:04:57 +0000
Subject: Bug in files list

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

diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index 49d74a6c..399d901d 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -113,10 +113,10 @@ fi
 %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/af2/*.af2
 %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/acl2
 %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/acl2/*.el
-%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/acl2/*.af2
+%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/acl2/*.acl2
 %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/twelf
 %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/twelf/*.el
-%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/twelf/*.af2
+%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/twelf/*.twelf
 %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/images
 %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/images/*
 %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/generic
-- 
cgit v1.2.3