From b80afc738a5fb5d65d1cfd6264cf66a273b09b7f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 25 Sep 2000 17:52:09 +0000
Subject: Add AF2 to RPM package.

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

diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index f1fe7fab..16874ffa 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -102,6 +102,9 @@ fi
 %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/hol98
 %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/hol98/*.el
 %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/hol98/*.sml
+%attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/af2
+%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/af2/*.el
+%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/af2/*.af2
 %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