15 for i in xpath-pt/xpath/$SERIE*
17 querybase=`basename "$i" .xpl`
20 xqueryorig="xpath-pt/xquery/$querybase".xql
21 cat $xqueryorig | sed -e "s/doc()/doc(\"XMark_1.04.xml\")/g" >tmp.xql
22 ../main XMark_1.04.srx "$query" results/"$querybase".sxsi
23 saxonb-xquery -o:results/"$querybase".saxon tmp.xql
24 echo >> results/"$querybase".saxon
25 diff -w results/"$querybase".sxsi results/"$querybase".saxon >/dev/null || echo $querybase gives different results
28 if [ "$DISPLAY" = "1" ]