Correct the FTBFS because of LaTeX.debian/8.0pl3+8.1alpha-2

3 files changed, 5 insertions, 3 deletions

diff --git a/debian/changelog b/debian/changelog
index 50bad72f..09834e6a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -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@debian.org>  Sun, 30 Apr 2006 11:51:57 +0000
 
diff --git a/debian/control b/debian/control
index 07eaacb2..7b0cd6a4 100644
--- a/debian/control
+++ b/debian/control
@@ -4,7 +4,7 @@ Priority: optional
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Uploaders: Ralf Treinen <treinen@debian.org>, Sven Luther <luther@debian.org>, Remi Vanicat <vanicat@debian.org>, Stefano Zacchiroli <zack@debian.org>, Samuel Mimram <smimram@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
diff --git a/debian/rules b/debian/rules
index f23efc82..550349dd 100755
--- a/debian/rules
+++ b/debian/rules
@@ -44,7 +44,7 @@ build-stamp:
 	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