#!/bin/sh set -e # In previous releases, this was a symlink that could be accidentally # left behind. Delete before installing. if [ -L /usr/share/doc/console-tools ]; then rm -f /usr/share/doc/console-tools fi