- drop (x)emacs BRs

diff --git a/why3.spec b/why3.spec
index 3d1f1c793a9f84895f5951beee8842494b1efe2c..53c1153dc953d875e404da609fdfa358f2ec2bd6 100644 (file)
--- a/why3.spec
+++ b/why3.spec
@@ -9,7 +9,6 @@ Source0:        https://gforge.inria.fr/frs/download.php/31257/%{name}-%{version}.tar.g
 URL:           http://why3.lri.fr/
 BuildRequires: camlp5
 BuildRequires: coq
-BuildRequires: emacs
 BuildRequires: evince
 BuildRequires: gtksourceview2-devel
 BuildRequires: ocaml
@@ -20,7 +19,6 @@ BuildRequires:        ocaml-lablgtk2-gtksourceview2-devel
 BuildRequires: ocaml-sqlite-devel
 BuildRequires: rubber
 BuildRequires: sqlite3-devel
-BuildRequires: xemacs
 Requires:      gtksourceview2
 %requires_eq   ocaml-runtime
 BuildRoot:     %{tmpdir}/%{name}-%{version}-root-%(id -u -n)