From 0230e6aeca0feab2b0d7ba0ce0bb56526521821d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 24 Feb 2003 14:35:36 +0000
Subject: Install x-sym/mmm

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

diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index 7ac9301a..b4f59859 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -68,7 +68,7 @@ mv etc/ProofGeneral.desktop ${RPM_BUILD_ROOT}/etc/X11/applnk/Applications    # R
 
 for f in */README; do mv $f $f.`dirname $f`; done
 
-cp -pr phox acl2 twelf coq lego isa isar hol98 images generic ${RPM_BUILD_ROOT}/usr/share/emacs/ProofGeneral
+cp -pr phox acl2 twelf coq lego isa isar hol98 images generic mmm x-symbol ${RPM_BUILD_ROOT}/usr/share/emacs/ProofGeneral
 
 %clean
 if [ "X" != "${RPM_BUILD_ROOT}X" ]; then
-- 
cgit v1.2.3