annotate MHMC/htmlToXML.sh @ 620:a9577984cdfc

rough
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Tue, 29 Apr 2025 15:46:28 +0100
parents b9c60ab31f0f
children 58090a2a81a1
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
537
77dd70413ed8 for minutes/notes production from pandoc output
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
1 #!/usr/bin/bash
538
b9c60ab31f0f portable now?
Henry Thompson <ht@markup.co.uk>
parents: 537
diff changeset
2 HOME="$(cygpath -w $HOME)"
537
77dd70413ed8 for minutes/notes production from pandoc output
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
3 { echo '<html xmlns="http://www.w3.org/1999/xhtml"><body>'
77dd70413ed8 for minutes/notes production from pandoc output
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
4 cat "$1".html ; echo '</body></html>'
538
b9c60ab31f0f portable now?
Henry Thompson <ht@markup.co.uk>
parents: 537
diff changeset
5 } | saxon97 - "$HOME"\\lib\\xml\\htmlToXML.xsl > "${1-2}".xml