Use dh_installtex instead of hand-crafted postinst.

4 files changed, 6 insertions, 28 deletions

diff --git a/debian/changelog b/debian/changelog
index 33649393..f04487d4 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,8 +3,9 @@ coq (8.1+dfsg-2) UNRELEASED; urgency=low
   * Added cmxa-install.dpatch to install cmxa only on native archs.
   * Added configure.dpatch for the configure to correctly detect whether
     ocamlopt is present or not.
+  * Use dh_installtex instead of hand-crafted postinst.
 
- -- Samuel Mimram <smimram@debian.org>  Sun, 18 Feb 2007 13:28:11 +0100
+ -- Samuel Mimram <smimram@debian.org>  Sun, 18 Mar 2007 13:21:56 +0100
 
 coq (8.1+dfsg-1) experimental; urgency=low
 
diff --git a/debian/control b/debian/control
index 5952f382..88c3e39b 100644
--- a/debian/control
+++ b/debian/control
@@ -5,10 +5,12 @@ 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.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 | texlive-latex-extra, hevea
+XS-Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/coq
+XS-Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/
 
 Package: coq
 Architecture: any
-Depends: ${shlibs:Depends}, coq-libs (= ${source:Version})
+Depends: ${shlibs:Depends}, ${misc:Depends}, coq-libs (= ${source:Version})
 Recommends: coqide | proofgeneral-coq
 Suggests: ocaml-nox (>= 3.08), proofgeneral-coq, ledit, cle, coq-doc
 Description: proof assistant for higher-order logic (toplevel and compiler)
diff --git a/debian/coq.postinst b/debian/coq.postinst
deleted file mode 100755
index 5d567619..00000000
--- a/debian/coq.postinst
+++ /dev/null
@@ -1,26 +0,0 @@
-#!/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
diff --git a/debian/rules b/debian/rules
index c8a416b8..d8920943 100755
--- a/debian/rules
+++ b/debian/rules
@@ -119,6 +119,7 @@ binary-common:
 	dh_installemacsen
 	dh_installman
 	dh_installchangelogs CHANGES
+	dh_installtex
 	dh_desktop
 	dh_link
 	dh_compress