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