prerm is in ghc-doc 8.0.2-11.
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 33 34 35 36 37 38 39 40 41 42 | #! /bin/sh
# prerm script for ghc-doc
#
set -e
# summary of how this script can be called:
# * <prerm> `remove'
# * <old-prerm> `upgrade' <new-version>
# * <new-prerm> `failed-upgrade' <old-version>
# * <conflictor's-prerm> `remove' `in-favour' <package> <new-version>
# * <deconfigured's-prerm> `deconfigure' `in-favour'
# <package-being-installed> <version> `removing'
# <conflicting-package> <version>
# for details, see /usr/doc/packaging-manual/
case "$1" in
remove|upgrade|deconfigure|failed-upgrade)
# Remove files generated by the postinst trigger
rm -f /usr/share/doc/ghc-doc/html/libraries/index.html \
/usr/share/doc/ghc-doc/html/libraries/doc-index*.html \
/usr/share/doc/ghc-doc/html/libraries/frames.html \
/usr/share/doc/ghc-doc/html/libraries/index-frames.html \
/usr/share/doc/ghc-doc/html/libraries/haddock-util.js \
/usr/share/doc/ghc-doc/html/libraries/hslogo-16.png \
/usr/share/doc/ghc-doc/html/libraries/minus.gif \
/usr/share/doc/ghc-doc/html/libraries/plus.gif \
/usr/share/doc/ghc-doc/html/libraries/ocean.css \
/usr/share/doc/ghc-doc/html/libraries/synopsis.png
;;
*)
echo "prerm called with unknown argument \`$1'" >&2
exit 0
;;
esac
# dh_installdeb will replace this with shell code automatically
# generated by other debhelper scripts.
exit 0
|