remove_exist() {
    if [ -e "${INSTALL_ROOT}$1" ]; then
        rm -f "${INSTALL_ROOT}$1"
    fi
}

remove_exist /usr/share/texmf/fonts/pk/ljfour/jknappen/ec/ecrm1000.600pk    &&
remove_exist /usr/share/texmf/fonts/tfm/jknappen/ec/ecrm1000.tfm            &&
remove_exist /usr/share/texmf/fonts/source/jknappen/ec/ecrm1000.mf          &&

remove_exist /usr/bin/jadetex                                               &&
remove_exist /usr/bin/pdfjadetex
