diff options
Diffstat (limited to 'extra/docbook-xsl/post-install')
| -rw-r--r-- | extra/docbook-xsl/post-install | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/extra/docbook-xsl/post-install b/extra/docbook-xsl/post-install index c81456a3c..7c1fb4934 100644 --- a/extra/docbook-xsl/post-install +++ b/extra/docbook-xsl/post-install @@ -1,4 +1,11 @@ #!/bin/sh +if [ ! -e /etc/xml/catalog ] + +then + + echo "/etc/xml/catalog n'existe pas! Veuillez installer docbook-xml et exécuter à nouveau le script post-install!" + exit 1 +fi if [ ! -d /etc/xml ]; then install -v -m755 -d /etc/xml; fi if [ ! -f /etc/xml/catalog ]; then xmlcatalog --noout --create /etc/xml/catalog |