+++ /dev/null
-#!/bin/sh
-
-DISPLAY=0
-case "$1" in
- [A-Z])
- SERIE="$1";;
- [A-Z][0-9]*)
- DISPLAY=1
- SERIE="$1";;
- *)
- SERIE="";;
-esac
-
-
-for i in xpath-pt/xpath/$SERIE*
-do
-querybase=`basename "$i" .xpl`
-query=`cat $i`
-
-xqueryorig="xpath-pt/xquery/$querybase".xql
-cat $xqueryorig | sed -e "s/doc()/doc(\"XMark_1.04.xml\")/g" >tmp.xql
-../main XMark_1.04.srx "$query" results/"$querybase".sxsi
-saxonb-xquery -o:results/"$querybase".saxon tmp.xql
-echo >> results/"$querybase".saxon
-diff -w results/"$querybase".sxsi results/"$querybase".saxon >/dev/null || echo $querybase gives different results
-done
-
-if [ "$DISPLAY" = "1" ]
-then
-./show.sh "$SERIE"
-fi
-