PREUN

/bin/sh

if [ "$1" = "0" ] ; then
    /usr/bin/xmlcatalog --noout --del /usr/share/xml/w3c-mathml-dtd-2.0/catalog.xml /etc/xml/catalog
fi

POSTIN

/bin/sh

if ! grep -q /usr/share/xml/w3c-mathml-dtd-2.0/catalog.xml /etc/xml/catalog ; then
    /usr/bin/xmlcatalog --noout --add nextCatalog "" /usr/share/xml/w3c-mathml-dtd-2.0/catalog.xml /etc/xml/catalog
fi