diff options
Diffstat (limited to 'etc/ProofGeneral.spec')
| -rw-r--r-- | etc/ProofGeneral.spec | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index d0896fb7..77f74c3e 100644 --- a/etc/ProofGeneral.spec +++ b/etc/ProofGeneral.spec @@ -104,11 +104,12 @@ fi # %{_mandir}/man1/* %{_datadir}/pixmaps/proofgeneral.png %{_datadir}/icons/hicolor/*/proofgeneral.png -%{_datadir}/mime-info/proofgeneral.* %{_datadir}/ProofGeneral/* %{_datadir}/man/man1/* %{_datadir}/info/*.info.gz +%{_datadir}/mime-info/proofgeneral.* %{_datadir}/applications/proofgeneral.desktop +%{_datadir}/application-registry/proofgeneral.applications %files -n ProofGeneral-emacs-elc %defattr(-,root,root) |