[coq] BR /usr/bin/emacs since emacs-nox no longer provides this binary.

[Richard W.M. Jones]

commit bc0153ad51c41f4d73d9ce4ea2e0f05885180b9f
Author: Richard W.M. Jones <rjones at redhat.com>
Date:   Sat Aug 2 08:37:33 2014 +0100

    BR /usr/bin/emacs since emacs-nox no longer provides this binary.

 coq.spec |    7 ++++---
 1 files changed, 4 insertions(+), 3 deletions(-)
---
diff --git a/coq.spec b/coq.spec
index 428e472..72a770f 100644
--- a/coq.spec
+++ b/coq.spec
@@ -18,7 +18,7 @@
 
 Name:           coq
 Version:        8.4pl4
-Release:        8%{?dist}
+Release:        9%{?dist}
 Summary:        Proof management system
 
 License:        LGPLv2
@@ -37,7 +37,7 @@ BuildRequires:  ocaml-camlp5-devel
 BuildRequires:  ocaml-lablgtk-devel
 BuildRequires:  csdp-tools
 BuildRequires:  desktop-file-utils
-BuildRequires:  emacs-nox
+BuildRequires:  /usr/bin/emacs
 BuildRequires:  emacs-proofgeneral
 
 # For documentation
@@ -316,9 +316,10 @@ mktexlsr &> /dev/null
 %{_emacs_sitelispdir}/coq/*.el
 
 %changelog
-* Sat Aug 02 2014 Richard W.M. Jones <rjones at redhat.com> - 8.4pl4-8
+* Sat Aug 02 2014 Richard W.M. Jones <rjones at redhat.com> - 8.4pl4-9
 - ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.
 - Add workaround for build failure on aarch64.
+- BR /usr/bin/emacs since emacs-nox no longer provides this binary.
 
 * Fri Aug 01 2014 Richard W.M. Jones <rjones at redhat.com> - 8.4pl4-6
 - Add patch to fix build failure with OCaml 4.02.