From f5213d151595e0f6dd001eac2dc604cf9a0bfaa8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 13 Jul 2000 12:38:33 +0000
Subject: Add Isabelle interface scripts to RPM

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

diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index 6af50a7d..f980b8d8 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -85,10 +85,12 @@ fi
 %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/lego/*.el
 %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/lego/*.l
 %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/isa
+%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/isa/interface
 %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/isa/*.el
 %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/isa/*.thy
 %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/isa/*.ML
 %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/isar
+%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/isar/interface
 %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/isar/*.el
 %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/isar/*.thy
 %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/hol98
-- 
cgit v1.2.3