#! /bin/sh set -e file=/usr/share/texmf/tex/latex/graphics/dvipdfm.def dpkg-divert --package dvipdfm --add --rename \ --divert ${file}.tetex $file
