[coq] Rebuild due to ocaml update. Fix license handling.

[Jerry James]

commit 2b318454f49944b94523b46e5194cb6a0b987a07
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Wed Sep 17 20:40:56 2014 -0600

    Rebuild due to ocaml update.
    Fix license handling.

 coq.spec |   12 +++++++-----
 1 files changed, 7 insertions(+), 5 deletions(-)
---
diff --git a/coq.spec b/coq.spec
index f622e88..2cba62a 100644
--- a/coq.spec
+++ b/coq.spec
@@ -18,7 +18,7 @@
 
 Name:           coq
 Version:        8.4pl4
-Release:        17%{?dist}
+Release:        18%{?dist}
 Summary:        Proof management system
 
 License:        LGPLv2
@@ -233,7 +233,7 @@ cp -p doc/RecTutorial/RecTutorial.v %{buildroot}%{tutorialcodedir}
 ln -s %{tutorialcodedir} %{buildroot}%{coqdatadir}/RecTutorial
 
 # Install documentation not installed by install-doc in Makefile
-for f in CHANGES COMPATIBILITY COPYRIGHT CREDITS README;
+for f in CHANGES COMPATIBILITY CREDITS README;
 do cp -p $f %{buildroot}%{coqdocdir};
 done
 
@@ -268,6 +268,7 @@ mktexlsr &> /dev/null
 
 %files
 # DON'T use the doc macro here or else it wipes out all the other documentation installed!
+%license COPYRIGHT LICENSE
 %{_mandir}/man1/*
 %{coqdatadir}
 %{_datadir}/%{name}/
@@ -286,9 +287,7 @@ mktexlsr &> /dev/null
 %dir %{coqdocdir}
 %{coqdocdir}/CHANGES
 %{coqdocdir}/COMPATIBILITY
-%{coqdocdir}/COPYRIGHT
 %{coqdocdir}/CREDITS
-%{coqdocdir}/LICENSE.doc
 %{coqdocdir}/README
 
 %files coqide
@@ -307,7 +306,6 @@ mktexlsr &> /dev/null
 %{coqdocdir}/*
 %exclude %{coqdocdir}/CHANGES
 %exclude %{coqdocdir}/COMPATIBILITY
-%exclude %{coqdocdir}/COPYRIGHT
 %exclude %{coqdocdir}/CREDITS
 %exclude %{coqdocdir}/LICENSE.doc
 %exclude %{coqdocdir}/README
@@ -321,6 +319,10 @@ mktexlsr &> /dev/null
 %{_emacs_sitelispdir}/coq/*.el
 
 %changelog
+* Wed Sep 17 2014 Jerry James <loganjerry at gmail.com> - 8.4pl4-18
+- Rebuild due to ocaml update
+- Fix license handling
+
 * Sat Aug 30 2014 Richard W.M. Jones <rjones at redhat.com> - 8.4pl4-17
 - Bump release and rebuild.