summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
Diffstat (limited to 'debian')
-rw-r--r--debian/changelog4
-rw-r--r--debian/control2
-rwxr-xr-xdebian/rules2
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