[Pkg-ocaml-maint-commits] r3557 - in /trunk/packages/coq-doc/trunk/debian: changelog control

[smimram at users.alioth.debian.org]

Author: smimram
Date: Tue Feb 13 18:42:43 2007
New Revision: 3557

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3557
Log:
Allow building with texlive.

Modified:
    trunk/packages/coq-doc/trunk/debian/changelog
    trunk/packages/coq-doc/trunk/debian/control

Modified: trunk/packages/coq-doc/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/trunk/debian/changelog?rev=3557&op=diff
==============================================================================
--- trunk/packages/coq-doc/trunk/debian/changelog (original)
+++ trunk/packages/coq-doc/trunk/debian/changelog Tue Feb 13 18:42:43 2007
@@ -1,6 +1,7 @@
 coq-doc (8.1-1) experimental; urgency=low
 
   * New upstream release.
+  * Allow building with texlive in build-dependencies.
 
  -- Samuel Mimram <smimram at debian.org>  Tue, 13 Feb 2007 13:23:18 +0000
 

Modified: trunk/packages/coq-doc/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/trunk/debian/control?rev=3557&op=diff
==============================================================================
--- trunk/packages/coq-doc/trunk/debian/control (original)
+++ trunk/packages/coq-doc/trunk/debian/control Tue Feb 13 18:42:43 2007
@@ -4,7 +4,7 @@
 Maintainer: Samuel Mimram <smimram at debian.org>
 Standards-Version: 3.7.2
 Build-Depends: debhelper (>= 4.0.0), dpatch
-Build-Depends-Indep: tetex-bin, hevea (>= 1.05), coq (>= 8.1)
+Build-Depends-Indep: tetex-bin | texlive, hevea (>= 1.05), coq (>= 8.1)
 XS-Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/coq-doc
 
 Package: coq-doc