echo "Grammar to X.html, fragments file to Y.html"
jj2html 'sparql.txt' 'tokens.txt' > X.html
grammarExtracts < X.html > Y.html