comparison MHMC/htmlToXML.sh @ 621:e02ed600230c

merge
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Tue, 29 Apr 2025 15:47:02 +0100
parents 58090a2a81a1
children
comparison
equal deleted inserted replaced
620:a9577984cdfc 621:e02ed600230c
1 #!/usr/bin/bash 1 #!/usr/bin/bash -vx
2 HOME="$(cygpath -w $HOME)" 2 HOME="$(cygpath -w $HOME)"
3 { echo '<html xmlns="http://www.w3.org/1999/xhtml"><body>' 3 { echo '<html xmlns="http://www.w3.org/1999/xhtml"><body>'
4 cat "$1".html ; echo '</body></html>' 4 cat "$1".html ; echo '</body></html>'
5 } | saxon97 - "$HOME"\\lib\\xml\\htmlToXML.xsl > "${1-2}".xml 5 } | saxon97 - "$HOME"\\lib\\xml\\htmlToXML.xsl > "${1-2}".xml