From 1fbfa6d708f453ec8b0691c5ca1737ee3e227582 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 29 Sep 2000 20:13:36 +0000
Subject: Another buglet in files list

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

diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index 399d901d..c60d93ae 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -116,7 +116,7 @@ fi
 %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/*.twelf
+%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/twelf/*.elf
 %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