- $MAIN $options "../docs/$doc".xml "$query" /dev/stdout 2>/dev/null
- cat "$ref"
- echo -----------------------------------------
-done
\ No newline at end of file
+ if [ -f "../docs/$doc".srx ]
+ then
+ input="../docs/$doc".srx
+ else
+ input="../docs/$doc".xml
+ fi
+ $MAIN $options "$input" "$query" tmp 2>/dev/null
+ if diff -q -w -B tmp "$ref"
+ then
+ echo " ok"
+ else
+ echo failure
+ echo -----------------------
+ echo Difference:
+ diff -w -B tmp "$ref"
+ echo -----------------------
+ echo
+ fi
+
+done
+rm -f tmp
\ No newline at end of file