#!/bin/bash FILE=$1 STATUS=0 xmllint --noout --schema ../doc.xsd $FILE.xml RESULT=$? if [ $STATUS == 0 ] then STATUS=$RESULT fi ../xp ../html.xsl $FILE.xml >$FILE.html diff $FILE.html.exp $FILE.html RESULT=$? if [ $STATUS == 0 ] then STATUS=$RESULT fi ../xp --latex ../latex.xsl $FILE.xml >$FILE.tex diff $FILE.tex.exp $FILE.tex RESULT=$? if [ $STATUS == 0 ] then STATUS=$RESULT fi exit $STATUS