diff options
Diffstat (limited to 'main/docbook-xml/docbook-xml.post-deinstall')
| -rw-r--r-- | main/docbook-xml/docbook-xml.post-deinstall | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/main/docbook-xml/docbook-xml.post-deinstall b/main/docbook-xml/docbook-xml.post-deinstall index 925378617f..ed0157da7a 100644 --- a/main/docbook-xml/docbook-xml.post-deinstall +++ b/main/docbook-xml/docbook-xml.post-deinstall @@ -1,3 +1,5 @@ #!/bin/sh -xmlcatalog --noout --del file:///etc/xml/docbook-xml etc/xml/catalog +if which xmlcatalog >/dev/null; then + xmlcatalog --noout --del file:///etc/xml/docbook-xml etc/xml/catalog +fi |