Correctly install coqdoc.sty.debian/8.1.gamma-3

4 files changed, 35 insertions, 4 deletions

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 <smimram@debian.org>  Sun, 26 Nov 2006 18:45:33 +0000
+ -- Samuel Mimram <smimram@debian.org>  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 <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, 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