From de086fe526442eecefee313e6d6144ea7dfcb7cb Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Dec 14 2012 03:17:18 +0000
Subject: Use minimal TeXLive BRs.


---

diff --git a/coq.spec b/coq.spec
index 1fa9912..6ed731b 100644
--- a/coq.spec
+++ b/coq.spec
@@ -24,7 +24,7 @@
 
 Name:           coq
 Version:        8.4
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        Proof management system
 
 Group:          Applications/Engineering
@@ -36,17 +36,35 @@ Source2:        README.coq-emacs
 Source4:        coq.xml
 # Not yet sent upstream: support more GDK key modifiers
 Patch0:         %{name}-gdk.patch
-# Not yet sent upstream: adapt to TeXLive 2012
-Patch1:         %{name}-texlive.patch
 
-BuildRequires:  ocaml, ocaml-camlp5-devel, ocaml-lablgtk-devel
-BuildRequires:  desktop-file-utils, emacs-nox, emacs-proofgeneral
+BuildRequires:  ocaml
+BuildRequires:  ocaml-camlp5-devel
+BuildRequires:  ocaml-lablgtk-devel
+BuildRequires:  desktop-file-utils
+BuildRequires:  emacs-nox
+BuildRequires:  emacs-proofgeneral
+
 # For documentation
-BuildRequires:  texlive-collection-latexextra, texlive-collection-mathextra
-BuildRequires:  tex(latex), tex(epic.sty)
 %if %{build_html}
 BuildRequires:  hevea
 %endif
+BuildRequires:  tex(latex)
+BuildRequires:  tex(comment.sty)
+BuildRequires:  tex(epic.sty)
+BuildRequires:  tex(fullpage.sty)
+BuildRequires:  tex(moreverb.sty)
+BuildRequires:  tex(multirow.sty)
+BuildRequires:  tex(stmaryrd.sty)
+BuildRequires:  tex(utf8x.def)
+BuildRequires:  tex-cm-super
+BuildRequires:  tex-courier
+BuildRequires:  tex-ec
+BuildRequires:  tex-helvetic
+BuildRequires:  tex-symbol
+BuildRequires:  tex-times
+BuildRequires:  tex-zapfchan
+BuildRequires:  tex-zapfding
+
 Requires(posttrans): tex(tex)
 Requires(postun): tex(tex)
 
@@ -128,7 +146,6 @@ This package is not needed to use the Emacs interface.
 %prep
 %setup -q
 %patch0
-%patch1
 
 # Fix some files that are not in UTF-8 encoding
 
@@ -310,6 +327,9 @@ mktexlsr &> /dev/null
 %{_emacs_sitelispdir}/coq/*.el
 
 %changelog
+* Thu Dec 13 2012 Jerry James <loganjerry@gmail.com> - 8.4-3
+- Use minimal TeXLive BRs
+
 * Wed Oct 17 2012 Jerry James <loganjerry@gmail.com> - 8.4-2
 - Rebuild for OCaml 4.00.1
 - Support more GDK key modifiers in the IDE (hyper, meta, release, super)