🎨 Move XML schemata to a better path

This commit is contained in:
Gerber, Mike 2019-09-30 18:25:54 +02:00
parent 02457155aa
commit 47dd5d3b62
2 changed files with 6 additions and 2 deletions

View file

@ -101,7 +101,11 @@ page_validate_xml() {
local file
for file in `ocrd workspace find -G $filegrp`; do
xmllint --noout --schema `dirname $0`/xsd/pagecontent.2019-07-15.xsd $file
XSD_DIR=`dirname $0`/xsd
if [ ! -d "$XSD_DIR" ]; then
XSD_DIR=/usr/share/xml
fi
xmllint --noout --schema $XSD_DIR/pagecontent.2019-07-15.xsd $file
done
}