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
27
28
29
30
31
32
33
|
#! /bin/sh
# postinst script for debian-reference-*
#
# see: dh_installdeb(1)
set -e
case "$1" in
configure|abort-upgrade|abort-remove|abort-deconfigure)
# always try keeping the best index
if [ -x /usr/share/debian-reference-common/mkindexhtml ] ; then
HTMLROOT=/usr/share/debian-reference
export HTMLROOT
/usr/share/debian-reference-common/mkindexhtml
else
rm -f /usr/share/debian-reference/index.html
fi
# remove directory if empty (no --ignore-fail-on-non-empty)
rmdir /usr/share/debian-reference 2>/dev/null || true
;;
*)
: # do nothing
;;
esac
# dh_installdeb will replace this with shell code automatically
# generated by other debhelper scripts.
#DEBHELPER#
exit 0
|
