view MHMC/htmlToXML.sh @ 640:90af354e19c1

minor updates, as circulated
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Sat, 18 Oct 2025 19:47:15 +0100
parents 58090a2a81a1
children
line wrap: on
line source

#!/usr/bin/bash -vx
HOME="$(cygpath -w $HOME)"
{ echo '<html xmlns="http://www.w3.org/1999/xhtml"><body>' 
  cat "$1".html ; echo '</body></html>' 
 } | saxon97 - "$HOME"\\lib\\xml\\htmlToXML.xsl  > "${1-2}".xml