[Pkg-ocaml-maint-commits] [SCM] advi packaging branch, sid/master, updated. debian/1.6.0-13-22-g76a3bc7

[Stephane Glondu]

The following commit has been merged in the sid/master branch:
commit 76a3bc777ade2f50944258e57e44d50a23b9cc42
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Jul 13 23:12:44 2009 +0200

    Use dh_installtex

diff --git a/debian/changelog b/debian/changelog
index 748ec56..8ad9300 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -20,13 +20,15 @@ advi (1.6.0-14) unstable; urgency=low
       are ABI-dependent and make advi not binNMU-able
     - install examples more consistently
     - install manual in binary package advi
+    - use dh_installtex and drop debian/post{inst,rm}; add versioned
+      dependency to tex-common
   * Switch packaging to git
   * Switch patches to quilt, add README.source
   * Add a patch to fix build with recent camlimages (Closes: #534020)
   * Fix typo in changelog (s/adress/address/) (thanks Lintian)
   * Switch debian/copyright to new format
 
- -- Stephane Glondu <steph at glondu.net>  Mon, 13 Jul 2009 18:47:36 +0200
+ -- Stephane Glondu <steph at glondu.net>  Mon, 13 Jul 2009 23:13:47 +0200
 
 advi (1.6.0-13) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index 20ce55e..dd22d3c 100644
--- a/debian/control
+++ b/debian/control
@@ -14,6 +14,7 @@ Build-Depends:
  debhelper (>= 7.0.52),
  quilt (>= 0.46-7),
  dh-ocaml,
+ tex-common (>= 1.15),
  texlive,
  texlive-pictures,
  texlive-pstricks,
diff --git a/debian/postinst b/debian/postinst
deleted file mode 100644
index d942fba..0000000
--- a/debian/postinst
+++ /dev/null
@@ -1,53 +0,0 @@
-#! /bin/sh
-# postinst script for advi (Copied from hevea)
-#
-# see: dh_installdeb(1)
-
-set -e
-
-# summary of how this script can be called:
-#        * <postinst> `configure' <most-recently-configured-version>
-#        * <old-postinst> `abort-upgrade' <new version>
-#        * <conflictor's-postinst> `abort-remove' `in-favour' <package>
-#          <new-version>
-#        * <deconfigured's-postinst> `abort-deconfigure' `in-favour'
-#          <failed-install-package> <version> `removing'
-#          <conflicting-package> <version>
-# for details, see /usr/share/doc/debian-policy/
-#
-# quoting from the policy:
-#     Any necessary prompting should almost always be confined to the
-#     post-installation script, and should be protected with a conditional
-#     so that unnecessary prompting doesn't happen if a package's
-#     installation fails and the `postinst' is called with `abort-upgrade',
-#     `abort-remove' or `abort-deconfigure'.
-
-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
-
-# dh_installdeb will replace this with shell code automatically
-# generated by other debhelper scripts.
-
-#DEBHELPER#
-
-exit 0
-
-
diff --git a/debian/postrm b/debian/postrm
deleted file mode 100644
index 3beb700..0000000
--- a/debian/postrm
+++ /dev/null
@@ -1,41 +0,0 @@
-#! /bin/sh
-# postrm script for advi (Copied from hevea)
-#
-# see: dh_installdeb(1)
-
-set -e
-
-# summary of how this script can be called:
-#        * <postrm> `remove'
-#        * <postrm> `purge'
-#        * <old-postrm> `upgrade' <new-version>
-#        * <new-postrm> `failed-upgrade' <old-version>
-#        * <new-postrm> `abort-install'
-#        * <new-postrm> `abort-install' <old-version>
-#        * <new-postrm> `abort-upgrade' <old-version>
-#        * <disappearer's-postrm> `disappear' <r>overwrit>r> <new-version>
-# for details, see /usr/share/doc/debian-policy/
-
-TEXCONFIG=/usr/bin/mktexlsr
-
-case "$1" in
-       purge|remove|upgrade|failed-upgrade|abort-install|abort-upgrade|disappear)
-	    if [ -e $TEXCONFIG ]
-	    then
-		$TEXCONFIG
-	    fi  
-
-        ;;
-
-    *)
-        echo "postrm called with unknown argument \`$1'" >&2
-        exit 0
-
-esac
-
-# dh_installdeb will replace this with shell code automatically
-# generated by other debhelper scripts.
-
-#DEBHELPER#
-
-
diff --git a/debian/rules b/debian/rules
index 6bb5a61..9f03f15 100755
--- a/debian/rules
+++ b/debian/rules
@@ -6,7 +6,7 @@
 
 include /usr/share/ocaml/ocamlvars.mk
 OCAML_HAVE_OPTOPT ?= $(if $(wildcard /usr/bin/ocamlopt.opt),yes,no)
-DH := dh --with quilt
+DH := dh --with quilt --with tex
 
 PACKAGE := advi
 VERSION := 1.6.0

-- 
advi packaging