TEXMFBASE=${PKG_INSTALL_ROOT}/${CLIENT_BASEDIR}/share/texmf
TMPF=/tmp/XXX.$$
if [ -f ${TEXMFBASE}/dvipdfm/config/config ]; then
	sed -e '/^f music.map/d' ${TEXMFBASE}/dvipdfm/config/config >$TMPF
	cp $TMPF ${TEXMFBASE}/dvipdfm/config/config
fi
#if [ -f ${TEXMFBASE}/dvips/config/config.ps ]; then
#	sed -e '/^p \+musix.map/d' ${TEXMFBASE}/dvips/config/config.ps >$TMPF
#	cp $TMPF ${TEXMFBASE}/dvips/config/config.ps
#fi
if [ -f ${TEXMFBASE}/web2c/updmap.cfg ]; then
    sed -e '/^MixedMap musix.map/d' ${TEXMFBASE}/web2c/updmap.cfg >$TMPF
	cp $TMPF ${TEXMFBASE}/web2c/updmap.cfg
	rm -f ${TEXMFBASE}-var/web2c/musix.fmt ${TEXMFBASE}-var/web2c/musix.log
fi
	echo "
To update the teTeX text formatting system, execute the following command
on the system:
${CLIENT_BASEDIR}/bin/texmf-update
"