[coq/f15/master] * Mon Apr 4 2011 Jerry James <loganjerry at gmail.com> - 8.3pl1-2 - Change the mime type to applicatio

[Jerry James]

commit dd74bac8b5d37eddc515e8856bf5a1a17145fc50
Author: Jerry James <loganjerry at gmail.com>
Date:   Mon Apr 4 11:43:37 2011 -0600

    * Mon Apr  4 2011 Jerry James <loganjerry at gmail.com> - 8.3pl1-2
    - Change the mime type to application/x-coq, and inherit from text/plain
      (bz 530254)

 coq.spec              |   10 +++++++---
 coqide.xml => coq.xml |    4 ++--
 coqide.desktop        |    2 +-
 3 files changed, 10 insertions(+), 6 deletions(-)
---
diff --git a/coq.spec b/coq.spec
index d76829f..c9ed5cc 100644
--- a/coq.spec
+++ b/coq.spec
@@ -17,7 +17,7 @@
 
 Name:           coq
 Version:        8.3pl1
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Proof management system
 
 Group:          Applications/Engineering
@@ -27,7 +27,7 @@ Source0:        http://coq.inria.fr/V%{version}/files/%{tar_base_name}.tar.gz
 Source1:        coqide.desktop
 Source2:        README.coq-emacs
 Source3:        README.coq-xemacs
-Source4:        coqide.xml
+Source4:        coq.xml
 # This patch was suggested by upstream to workaround a camlp5 bug (691913).
 # Remove this once ocaml-camlp5 > 6.02.2 is available.
 Patch0:         coq-camlp5-bug.patch
@@ -329,7 +329,7 @@ fi
 
 # Is it ok to assume this is what desktop-file-install renames coqide.desktop to?
 %{_datadir}/applications/fedora-coqide.desktop
-%{_datadir}/mime/packages/coqide.xml
+%{_datadir}/mime/packages/coq.xml
 
 %files doc
 %defattr(-,root,root,-)
@@ -364,6 +364,10 @@ fi
 %{_xemacs_sitelispdir}/coq/*.el
 
 %changelog
+* Mon Apr  4 2011 Jerry James <loganjerry at gmail.com> - 8.3pl1-2
+- Change the mime type to application/x-coq, and inherit from text/plain
+  (bz 530254)
+
 * Thu Mar 31 2011 Jerry James <loganjerry at gmail.com> - 8.3pl1-1
 - New upstream release
 - Drop BuildRoot tag and clean section
diff --git a/coqide.xml b/coq.xml
similarity index 70%
rename from coqide.xml
rename to coq.xml
index 9cd1b8a..ad631ee 100644
--- a/coqide.xml
+++ b/coq.xml
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <mime-info xmlns="http://www.freedesktop.org/standards/shared-mime-info">
-   <mime-type type="application/x-coqide">
-     <sub-class-of type="application/xml"/>
+   <mime-type type="application/x-coq">
+     <sub-class-of type="text/plain"/>
      <comment>Coq theory files</comment>
      <glob pattern="*.v"/>
    </mime-type>
diff --git a/coqide.desktop b/coqide.desktop
index 30682e1..2d02921 100644
--- a/coqide.desktop
+++ b/coqide.desktop
@@ -6,4 +6,4 @@ Exec=coqide
 Icon=ICON-LOCATION-BASE
 Type=Application
 Categories=Development;
-MimeType=application/x-coqide;
+MimeType=application/x-coq;