From 3ad70b16f1ce8679dc3691dd30bdc0e104317ac3 Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Sun, 4 Feb 2007 21:06:49 +0000 Subject: Correctly install coqdoc.sty. --- debian/changelog | 7 +++++-- debian/control | 2 +- debian/coq.install | 4 +++- debian/coq.postinst | 26 ++++++++++++++++++++++++++ 4 files changed, 35 insertions(+), 4 deletions(-) create mode 100755 debian/coq.postinst diff --git a/debian/changelog b/debian/changelog index 09e2bc3f..b442402a 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,8 +1,11 @@ -coq (8.1~gamma-3) UNRELEASED; urgency=low +coq (8.1~gamma-3) experimental; urgency=low * Added next-ia64.dpatch to fix the FTBFS on ia64. + * Correctly install coqdoc.sty, closes: #409027. + * Build-depend on tetex-extra | texlive-latex-extra in order to allow + building with texlive. - -- Samuel Mimram Sun, 26 Nov 2006 18:45:33 +0000 + -- Samuel Mimram Sun, 4 Feb 2007 20:38:43 +0100 coq (8.1~gamma-2) experimental; urgency=low diff --git a/debian/control b/debian/control index c45d5e92..5952f382 100644 --- a/debian/control +++ b/debian/control @@ -4,7 +4,7 @@ Priority: optional Maintainer: Debian OCaml Maintainers Uploaders: Ralf Treinen , Sven Luther , Remi Vanicat , Stefano Zacchiroli , Samuel Mimram Standards-Version: 3.7.2 -Build-Depends: debhelper (>= 4.0.0), dpkg-dev (>= 1.13.19), dpatch, ocaml-nox (>= 3.09.0), ocaml-best-compilers, liblablgtk2-ocaml-dev (>= 2.4.0), tetex-extra, hevea +Build-Depends: debhelper (>= 4.0.0), dpkg-dev (>= 1.13.19), dpatch, ocaml-nox (>= 3.09.0), ocaml-best-compilers, liblablgtk2-ocaml-dev (>= 2.4.0), tetex-extra | texlive-latex-extra, hevea Package: coq Architecture: any diff --git a/debian/coq.install b/debian/coq.install index 155e13af..06ab0d12 100644 --- a/debian/coq.install +++ b/debian/coq.install @@ -8,7 +8,9 @@ usr/bin/coq-tex usr/bin/coqtop* usr/bin/coqwc usr/bin/gallina -usr/share/emacs/site-lisp/coq +usr/lib/coq/tools/coqdoc/ +usr/share/emacs/site-lisp/coq/* usr/share/man/man1/c* usr/share/man/man1/gallina.1 usr/share/texmf/tex/latex/misc/* +usr/share/emacs/site-lisp/coqdoc.sty usr/share/texmf/tex/latex/misc/ diff --git a/debian/coq.postinst b/debian/coq.postinst new file mode 100755 index 00000000..5d567619 --- /dev/null +++ b/debian/coq.postinst @@ -0,0 +1,26 @@ +#!/bin/sh + +set -e + +TEXCONFIG=/usr/bin/mktexlsr + +case "$1" in + configure) + if [ -e $TEXCONFIG ] + then + $TEXCONFIG + fi + ;; + + abort-upgrade|abort-remove|abort-deconfigure) + ;; + + *) + echo "postinst called with unknown argument \`$1'" >&2 + exit 0 + ;; +esac + +#DEBHELPER# + +exit 0 -- cgit v1.2.3