1
0
mirror of https://gitlab.gnome.org/GNOME/libxml2.git synced 2025-03-01 00:58:16 +03:00

Applied another patch from Christian Cornelssen to the buildDocBookCatalog

script, Daniel
This commit is contained in:
Daniel Veillard 2002-05-19 18:26:28 +00:00
parent 10b6da4aa5
commit 6d1ef17b17

View File

@ -1,4 +1,4 @@
#!/bin/sh #! /bin/bash
if [ ! -d /etc/xml -a -w /etc ] if [ ! -d /etc/xml -a -w /etc ]
then then
echo Directory /etc/xml missing creating it echo Directory /etc/xml missing creating it
@ -22,7 +22,7 @@ fi
# #
if [ ! -r $ROOTCATALOG ] ; then if [ ! -r $ROOTCATALOG ] ; then
echo creating XML Catalog root $ROOTCATALOG echo creating XML Catalog root $ROOTCATALOG
/usr/bin/xmlcatalog --noout --create $ROOTCATALOG xmlcatalog --noout --create $ROOTCATALOG
fi fi
if [ ! -r $ROOTCATALOG ] ; then if [ ! -r $ROOTCATALOG ] ; then
echo Failed creating XML Catalog root $ROOTCATALOG echo Failed creating XML Catalog root $ROOTCATALOG
@ -30,7 +30,7 @@ if [ ! -r $ROOTCATALOG ] ; then
fi fi
if [ ! -r $CATALOG ] ; then if [ ! -r $CATALOG ] ; then
echo creating DocBook XML Catalog $CATALOG echo creating DocBook XML Catalog $CATALOG
/usr/bin/xmlcatalog --noout --create $CATALOG xmlcatalog --noout --create $CATALOG
fi fi
if [ ! -r $CATALOG ] ; then if [ ! -r $CATALOG ] ; then
echo Failed creating DocBook XML Catalog $CATALOG echo Failed creating DocBook XML Catalog $CATALOG