packaging/Debian/prerm.debhelper

   1 # Automatically added by dh_installdocs
   2 if [ \( "$1" = "upgrade" -o "$1" = "remove" \) -a -L /usr/doc/gnokii ]; then
   3         rm -f /usr/doc/gnokii
   4 fi
   5 # End automatically added section