From a226f10e9ca3053df88f7692f1f5c524d85a647c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 24 Feb 2003 10:38:24 +0000
Subject: Add mmm and x-symbol

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

diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index bd935aa1..5dbc775f 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -110,6 +110,8 @@ fi
 %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/phox
 %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/acl2
 %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/twelf
+%attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/mmm
+%attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/x-symbol
 %attr(-,root,root) /usr/share/emacs/ProofGeneral/images/*
 %attr(-,root,root) /usr/share/emacs/ProofGeneral/generic/*
 %attr(-,root,root) /usr/share/emacs/ProofGeneral/coq/*
@@ -120,3 +122,5 @@ fi
 %attr(-,root,root) /usr/share/emacs/ProofGeneral/phox/*
 %attr(-,root,root) /usr/share/emacs/ProofGeneral/acl2/*
 %attr(-,root,root) /usr/share/emacs/ProofGeneral/twelf/*
+%attr(-,root,root) /usr/share/emacs/ProofGeneral/mmm/*
+%attr(-,root,root) /usr/share/emacs/ProofGeneral/x-symbol/*
-- 
cgit v1.2.3