This file is indexed.

postrm is in debian-reference-fr 2.72.

This file is a maintainer script. It is executed when installing (*inst) or removing (*rm) the package.

The actual contents of the file can be viewed below.

 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
#! /bin/sh
# postrm script for debian-reference-*
#
# see: dh_installdeb(1)

set -e

case "$1" in
    remove|purge|upgrade|failed-upgrade|abort-install|abort-upgrade)
	# 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.



exit 0