[why] Rebuild for fixed frama-c. Fix license handling.

[Jerry James]

commit bee9f47474b0ff61f2909573bbadcf5054e837e6
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Mon Sep 8 13:31:21 2014 -0600

    Rebuild for fixed frama-c.
    Fix license handling.

 why.spec |    9 +++++++--
 1 files changed, 7 insertions(+), 2 deletions(-)
---
diff --git a/why.spec b/why.spec
index 673c047..8d6a312 100644
--- a/why.spec
+++ b/why.spec
@@ -10,7 +10,7 @@
 
 Name:           why
 Version:        2.34
-Release:        11%{?dist}
+Release:        12%{?dist}
 Summary:        Software verification platform
 
 License:        LGPLv2 with exceptions
@@ -317,7 +317,7 @@ cp -p %{SOURCE12}             %{buildroot}%{_bindir}/
 mkdir -p %{buildroot}%{why_examples_dir}mlw/
 mkdir -p %{buildroot}%{why_examples_dir}c/
 cp -p doc/manual.ps %{buildroot}%{why_doc_dir}/why-manual.ps
-cp -p %{SOURCE8} %{SOURCE3} CHANGES COPYING LICENSE README Version %{buildroot}%{why_doc_dir}
+cp -p %{SOURCE8} %{SOURCE3} CHANGES README Version %{buildroot}%{why_doc_dir}
 
 # Copy in the example files, leaving behind all generated files
 cd examples
@@ -381,6 +381,7 @@ touch --no-create %{_datadir}/icons/hicolor &>/dev/null
 gtk-update-icon-cache %{_datadir}/icons/hicolor &>/dev/null || :
 
 %files
+%license COPYING LICENSE
 %{_bindir}/*
 %{_libdir}/why/
 %{_mandir}/man1/why.1*
@@ -438,6 +439,10 @@ gtk-update-icon-cache %{_datadir}/icons/hicolor &>/dev/null || :
 
 
 %changelog
+* Mon Sep  8 2014 Jerry James <loganjerry at gmail.com> - 2.34-12
+- Rebuild for fixed frama-c
+- Fix license handling
+
 * Tue Sep  2 2014 Jerry James <loganjerry at gmail.com> - 2.34-11
 - Rebuild for the final ocaml 4.02.0 release