[coq] BR tex(comment.sty) due to the new texlive package layout.

[Jerry James]

commit 65949c20f7a4674573e04076ee9bd080dfeebd02
Author: Jerry James <loganjerry at gmail.com>
Date:   Wed Oct 17 20:54:23 2012 -0600

    BR tex(comment.sty) due to the new texlive package layout.

 coq.spec |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/coq.spec b/coq.spec
index b8a4461..b11211c 100644
--- a/coq.spec
+++ b/coq.spec
@@ -40,7 +40,7 @@ Patch0:         %{name}-gdk.patch
 BuildRequires:  ocaml, ocaml-camlp5-devel, ocaml-lablgtk-devel
 BuildRequires:  desktop-file-utils, emacs-nox, emacs-proofgeneral
 # For documentation
-BuildRequires:  tex(latex)
+BuildRequires:  tex(latex), tex(comment.sty)
 %if %{build_html}
 BuildRequires:  hevea
 %endif
@@ -309,6 +309,7 @@ mktexlsr &> /dev/null
 * Wed Oct 17 2012 Jerry James <loganjerry at gmail.com> - 8.4-2
 - Rebuild for OCaml 4.00.1
 - Support more GDK key modifiers in the IDE (hyper, meta, release, super)
+- BR tex(comment.sty) due to the new texlive package layout
 
 * Tue Aug 21 2012 Jerry James <loganjerry at gmail.com> - 8.4-1
 - New upstream release