#!/bin/sh
set -e

update-alternatives --remove xdvi.bin /usr/bin/xdvi.real
update-alternatives --remove oxdvi.bin /usr/bin/oxdvi.real

install-info --quiet --remove /usr/share/info/web2c.info
install-info --quiet --remove /usr/share/info/dvips.info
install-info --quiet --remove /usr/share/info/latex.info
install-info --quiet --remove /usr/share/info/kpathsea.info

#DEBHELPER#
