File indexing completed on 2024-04-21 16:29:21
0001 #!/bin/bash 0002 0003 exit_usage () 0004 { 0005 cmd=`basename $0` 0006 echo "\ 0007 Usage: 0008 $cmd TOPDBKFILE" 0009 exit 100 0010 } 0011 0012 topdbk=$1 0013 test -n "$topdbk" || exit_usage 0014 0015 xmllint=${XMLLINT_EXECUTABLE:-xmllint} 0016 if test -z "`which $xmllint`"; then 0017 echo "xmllint (http://xmlsoft.org/) not found." 0018 exit 1 0019 fi 0020 $xmllint --noout --xinclude --postvalid $topdbk || exit 1