From: Jan Rękorajski <baggins@pld-linux.org>
Date: Tue, 14 May 2013 11:49:20 +0000 (+0200)
Subject: - drop (x)emacs BRs
X-Git-Tag: auto/th/why3-0.73-1
X-Git-Url: http://git.pld-linux.org/?p=packages%2Fwhy3.git;a=commitdiff_plain;h=51f94c8

- drop (x)emacs BRs
---

diff --git a/why3.spec b/why3.spec
index 3d1f1c7..53c1153 100644
--- 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)