Commit eb70faff authored by Sylvain Schmitz's avatar Sylvain Schmitz

Merge branch 'master' of https://git.lsv.fr/schmitz/xpparser

parents 247e3418 874385be
......@@ -13,6 +13,7 @@ for file in $xslt
do
name=`grep $file benchmarks-all-full.xml | sed -e 's/.*name="\([^"]*\).*/\1/'`
url=`grep $file benchmarks-all-full.xml | sed -e 's/.*url="\([^"]*\).*/\1/'`
printf '\\vspace{-0.5em} '
printf "$name"
n=`grep '<ast' $file | wc -l`
printf "& %'.0f " $n
......@@ -55,6 +56,7 @@ for file in $xquery
do
name=`grep $file benchmarks-all-full.xml | sed -e 's/.*name="\([^"]*\).*/\1/'`
url=`grep $file benchmarks-all-full.xml | sed -e 's/.*url="\([^"]*\).*/\1/'`
printf '\\vspace{-0.5em} '
printf "$name"
n=`grep '<ast' $file | wc -l`
printf "& %'.0f " $n
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment