1 2 3 4 5 6 7 8 9 10 11 12
#! /bin/sh # prerm script for dvi2tty # # see: dh_installdeb(1) set -e #DEBHELPER# exit 0