Correct the FTBFS because of LaTeX.
Samuel Mimram
18 years ago
| 0 | |
coq (8.0pl3+8.1alpha-2) UNRELEASED; urgency=low
|
|
0 |
coq (8.0pl3+8.1alpha-2) experimental; urgency=low
|
| 1 | 1 |
|
| 2 | 2 |
* Added makefile.dpatch in order for ocamlopt not to be called when
|
| 3 | 3 |
compiling on non-native archs.
|
|
4 |
* Do not build the pdf documentation for the library since we don't ship it.
|
|
5 |
This will avoid the FTBFS because of missing LaTeX fonts.
|
| 4 | 6 |
|
| 5 | 7 |
-- Samuel Mimram <smimram@debian.org> Sun, 30 Apr 2006 11:51:57 +0000
|
| 6 | 8 |
|
| 3 | 3 |
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
|
| 4 | 4 |
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>
|
| 5 | 5 |
Standards-Version: 3.6.2
|
| 6 | |
Build-Depends: debhelper (>= 4.0.0), dpatch, ocaml-nox (>= 3.09.0), ocaml-best-compilers, liblablgtk2-ocaml-dev (>= 2.4.0), chrpath, tetex-bin
|
|
6 |
Build-Depends: debhelper (>= 4.0.0), dpatch, ocaml-nox (>= 3.09.0), ocaml-best-compilers, liblablgtk2-ocaml-dev (>= 2.4.0), chrpath
|
| 7 | 7 |
|
| 8 | 8 |
Package: coq
|
| 9 | 9 |
Architecture: any
|
| 43 | 43 |
fi
|
| 44 | 44 |
$(MAKE) glob.dump
|
| 45 | 45 |
cp tools/coqdoc/coqdoc.sty doc/stdlib/
|
| 46 | |
$(MAKE) -C doc stdlib
|
|
46 |
$(MAKE) -C doc stdlib/html/index.html
|
| 47 | 47 |
touch build-stamp
|
| 48 | 48 |
|
| 49 | 49 |
clean: unpatch
|