#!/bin/sh _OLD=${1%-r[0-9]*} if which xmlcatalog > /dev/null; then xmlcatalog --noout --del \ "/usr/share/xml/docbook/xsl-stylesheets-${_OLD}" \ etc/xml/catalog fi