[Pkg-ocaml-maint-commits] r2662 - in /trunk/packages/coq/branches/8.0pl3+8.1alpha/debian: changelog control rules

[smimram at users.alioth.debian.org]

Author: smimram
Date: Sun Apr 30 14:17:58 2006
New Revision: 2662

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=2662
Log:
Correct the FTBFS because of LaTeX.

Modified:
    trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/changelog
    trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/control
    trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/rules

Modified: trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.0pl3%2B8.1alpha/debian/changelog?rev=2662&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/changelog (original)
+++ trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/changelog Sun Apr 30 14:17:58 2006
@@ -1,7 +1,9 @@
-coq (8.0pl3+8.1alpha-2) UNRELEASED; urgency=low
+coq (8.0pl3+8.1alpha-2) experimental; urgency=low
 
   * Added makefile.dpatch in order for ocamlopt not to be called when
     compiling on non-native archs.
+  * Do not build the pdf documentation for the library since we don't ship it.
+    This will avoid the FTBFS because of missing LaTeX fonts.
 
  -- Samuel Mimram <smimram at debian.org>  Sun, 30 Apr 2006 11:51:57 +0000
 

Modified: trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.0pl3%2B8.1alpha/debian/control?rev=2662&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/control (original)
+++ trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/control Sun Apr 30 14:17:58 2006
@@ -4,7 +4,7 @@
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
 Uploaders: Ralf Treinen <treinen at debian.org>, Sven Luther <luther at debian.org>, Remi Vanicat <vanicat at debian.org>, Stefano Zacchiroli <zack at debian.org>, Samuel Mimram <smimram at debian.org>
 Standards-Version: 3.6.2
-Build-Depends: debhelper (>= 4.0.0), dpatch, ocaml-nox (>= 3.09.0), ocaml-best-compilers, liblablgtk2-ocaml-dev (>= 2.4.0), chrpath, tetex-bin
+Build-Depends: debhelper (>= 4.0.0), dpatch, ocaml-nox (>= 3.09.0), ocaml-best-compilers, liblablgtk2-ocaml-dev (>= 2.4.0), chrpath
 
 Package: coq
 Architecture: any

Modified: trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.0pl3%2B8.1alpha/debian/rules?rev=2662&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/rules (original)
+++ trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/rules Sun Apr 30 14:17:58 2006
@@ -44,7 +44,7 @@
 	fi
 	$(MAKE) glob.dump
 	cp tools/coqdoc/coqdoc.sty doc/stdlib/
-	$(MAKE) -C doc stdlib
+	$(MAKE) -C doc stdlib/html/index.html
 	touch build-stamp
 
 clean: unpatch