/usr/bin/install-catalog --remove \
    /etc/sgml/openjade-1.3.2.soc \
    /usr/share/sgml/openjade-1.3.2/catalog
