diff options
| -rw-r--r-- | etc/ProofGeneral.spec | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index ab2627b4..e29a4714 100644 --- a/etc/ProofGeneral.spec +++ b/etc/ProofGeneral.spec @@ -86,9 +86,7 @@ fi %files %attr(-,root,root) %doc AUTHORS BUGS CHANGES COPYING INSTALL README.* REGISTER doc/* */README.* %attr(-,root,root) /usr/share/info/ProofGeneral.info.* -%attr(-,root,root) /usr/share/info/ProofGeneral.info-*.* %attr(-,root,root) /usr/share/info/PG-adapting.info.* -%attr(-,root,root) /usr/share/info/PG-adapting.info-*.* %attr(-,root,root) /usr/bin/proofgeneral %attr(-,root,root) /usr/bin/coqtags %attr(-,root,root) /usr/bin/legotags |