debian/coq.postinst


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
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