[Pkg-ocaml-maint-commits] r3540 - in /trunk/packages/coq/branches/8.1/debian: changelog control coq.install coq.postinst

[smimram at users.alioth.debian.org]

Author: smimram
Date: Sun Feb  4 22:06:49 2007
New Revision: 3540

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3540
Log:
Correctly install coqdoc.sty.

Added:
    trunk/packages/coq/branches/8.1/debian/coq.postinst   (with props)
Modified:
    trunk/packages/coq/branches/8.1/debian/changelog
    trunk/packages/coq/branches/8.1/debian/control
    trunk/packages/coq/branches/8.1/debian/coq.install

Modified: trunk/packages/coq/branches/8.1/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/changelog?rev=3540&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/changelog (original)
+++ trunk/packages/coq/branches/8.1/debian/changelog Sun Feb  4 22:06:49 2007
@@ -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.
-
- -- Samuel Mimram <smimram at debian.org>  Sun, 26 Nov 2006 18:45:33 +0000
+  * Correctly install coqdoc.sty, closes: #409027.
+  * Build-depend on tetex-extra | texlive-latex-extra in order to allow
+    building with texlive.
+
+ -- Samuel Mimram <smimram at debian.org>  Sun,  4 Feb 2007 20:38:43 +0100
 
 coq (8.1~gamma-2) experimental; urgency=low
 

Modified: trunk/packages/coq/branches/8.1/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/control?rev=3540&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/control (original)
+++ trunk/packages/coq/branches/8.1/debian/control Sun Feb  4 22:06:49 2007
@@ -4,7 +4,7 @@
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
 Uploaders: Ralf Treinen <treinen at debian.org>, Sven Luther <luther at debian.org>, Remi Vanicat <vanicat at debian.org>, Stefano Zacchiroli <zack at debian.org>, Samuel Mimram <smimram at 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

Modified: trunk/packages/coq/branches/8.1/debian/coq.install
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/coq.install?rev=3540&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/coq.install (original)
+++ trunk/packages/coq/branches/8.1/debian/coq.install Sun Feb  4 22:06:49 2007
@@ -8,7 +8,9 @@
 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/

Added: trunk/packages/coq/branches/8.1/debian/coq.postinst
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/coq.postinst?rev=3540&op=file
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/coq.postinst (added)
+++ trunk/packages/coq/branches/8.1/debian/coq.postinst Sun Feb  4 22:06:49 2007
@@ -1,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

Propchange: trunk/packages/coq/branches/8.1/debian/coq.postinst
------------------------------------------------------------------------------
    svn:executable = *