From b1ffbbaedc216865d1d813d9537c46440bb8aa8f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 21 Dec 2000 11:39:23 +0000
Subject: .phox -> .phx

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

diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index 8832d261..6cb3389a 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -113,7 +113,7 @@ fi
 %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/hol98/*.sml
 %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/phox
 %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/phox/*.el
-%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/phox/*.phox
+%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/phox/*.phx
 %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/*.acl2
-- 
cgit v1.2.3