File indexing completed on 2024-04-21 05:44:53 

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