saxon was replaced by xalan in makehtml.sh because of better results on callouts in HTML files produced for XML/DocBook files