#!/usr/bin/bash
{ echo '<html xmlns="http://www.w3.org/1999/xhtml"><body>' 
  cat "$1".html ; echo '</body></html>' 
 } | saxon97 - H:\\C64\\home\\ht\\lib\\xml\\htmlToXML.xsl  > "${1-2}".xml
