diff options
| author | David Aspinall | 2002-07-18 12:55:34 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-18 12:55:34 +0000 |
| commit | bf55d17d6e22924a5705d9fb5d594c6652842c90 (patch) | |
| tree | 5692fb096dcac518dbaf4881d54570eaa5c12d85 | |
| parent | f65e6c1bbf2d0f70df2a91f2dee95fc3df8cf73a (diff) | |
Rename READMEs for different provers so dont clash with doc directive.
| -rw-r--r-- | etc/ProofGeneral.spec | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index 7d72df82..aeea79b4 100644 --- a/etc/ProofGeneral.spec +++ b/etc/ProofGeneral.spec @@ -60,6 +60,8 @@ cp images/pgicon.png ${RPM_BUILD_ROOT}/usr/share/icons mkdir -p ${RPM_BUILD_ROOT}/usr/lib/menu mv etc/ProofGeneral.menu ${RPM_BUILD_ROOT}/usr/lib/menu/ProofGeneral +for f in */README; do mv $f $f.`basename $f`; done + cp -pr phox acl2 twelf coq lego isa isar hol98 images generic ${RPM_BUILD_ROOT}/usr/share/emacs/ProofGeneral %clean @@ -76,7 +78,7 @@ fi /sbin/install-info --delete /usr/info/PG-adapting.info.* /usr/info/dir %files -%attr(-,root,root) %doc AUTHORS BUGS CHANGES COPYING INSTALL README README.devel REGISTER doc/* */README +%attr(-,root,root) %doc AUTHORS BUGS CHANGES COPYING INSTALL README.* REGISTER doc/* */README.* %attr(-,root,root) /usr/info/ProofGeneral.info.* %attr(-,root,root) /usr/info/ProofGeneral.info-*.* %attr(-,root,root) /usr/info/PG-adapting.info.* |