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