From 01b0a68166decdb7b85c8b302f902e471a1f8178 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 26 Nov 1999 12:36:11 +0000
Subject: Add ProofGeneral.texi and CHANGES to RPM.

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

diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index d5cbff29..2f1fd78b 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -52,7 +52,7 @@ mkdir -p ${RPM_BUILD_ROOT}/usr/info
 mv doc/ProofGeneral.info doc/ProofGeneral.info-* ${RPM_BUILD_ROOT}/usr/info
 gzip ${RPM_BUILD_ROOT}/usr/info/ProofGeneral.info ${RPM_BUILD_ROOT}/usr/info/ProofGeneral.info-*
 # Remove duff bits
-rm -f doc/dir doc/localdir doc/ProofGeneral.texi
+rm -f doc/dir doc/localdir 
 
 cp -pr coq lego isa isar images generic ${RPM_BUILD_ROOT}/usr/share/emacs/ProofGeneral
 
@@ -69,7 +69,7 @@ fi
 /sbin/install-info --delete /usr/info/ProofGeneral.info.gz /usr/info/dir
 
 %files
-%attr(-,root,root) %doc BUGS INSTALL doc/*
+%attr(-,root,root) %doc BUGS INSTALL CHANGES doc/*
 %attr(-,root,root) /usr/info/ProofGeneral.info.gz
 %attr(-,root,root) /usr/info/ProofGeneral.info-*.gz
 %attr(-,root,root) /usr/bin/coqtags
-- 
cgit v1.2.3