From: Arkadiusz Miśkiewicz <arekm@maven.pl>
Date: Sat, 21 Jan 2006 00:01:16 +0000 (+0000)
Subject: - kill Icon: field (support for these is obsolete says jbj)
X-Git-Tag: auto/th/coq-8_3pl1-1~21
X-Git-Url: http://git.pld-linux.org/?p=packages%2Fcoq.git;a=commitdiff_plain;h=229b1af51ffb5ea5505d9c98f0b7fefd8ca82da3

- kill Icon: field (support for these is obsolete says jbj)

Changed files:
    coq.spec -> 1.9
---

diff --git a/coq.spec b/coq.spec
index 8f17a8e..417c2ef 100644
--- a/coq.spec
+++ b/coq.spec
@@ -11,7 +11,6 @@ Source0:	ftp://ftp.inria.fr/INRIA/coq/V%{version}/%{name}-%{version}.tar.gz
 # ftp://ftp.inria.fr/INRIA/coq/V8.0pl2/patch-coq-8.0pl2-ocaml-3.09
 Patch0:		%{name}-ocaml-3.09.patch
 Patch1:		%{name}-lablgtk26.patch
-Icon:		petit-coq.gif
 URL:		http://coq.inria.fr/
 BuildRequires:	emacs
 BuildRequires:	ocaml >= 3.09.0