#!/bin/bash

echo HTML tables
saxon unicode.xml characters.xsl

echo entities
saxon unicode.xml entities.xsl

echo character maps
saxon7 -o tmp.xml unicode.xml charmap.xsl

echo 9573.html
saxon  9573.xml 9573html.xsl

echo 9573.pdf
mv ../iso9573-2003doc/9573.tex ../iso9573-2003doc/9573.old
saxon -o ../iso9573-2003doc/9573.tex 9573.xml 9573tex.xsl
cd ../iso9573-2003doc
# avoid remaking pdf as includes creation date in comment
# forcing diffs in cvs.
if (cmp 9573.tex 9573.old)
then
echo TeX unchanged
else
pdflatex \\batchmode \\input 9573.tex
if (grep -i rerun 9573.log)
  then
  pdflatex \\batchmode \\input 9573.tex
  if (grep -i rerun 9573.log)
    then 
    pdflatex \\batchmode \\input 9573.tex
    if (grep -i rerun 9573.log)
      then
      pdflatex \\batchmode \\input 9573.tex
    fi
  fi
fi
grep "^\!" 9573.log
grep -i warning 9573.log | grep -v bookmarks | grep -v "Font Warning"
grep -i rerun 9573.log
fi

cd ../xml