1 files changed, 15 insertions, 0 deletions
diff --git a/makehtml.sh b/makehtml.sh
new file mode 100755
index 0000000..000a5bc
--- /dev/null
+++ b/makehtml.sh
@@ -0,0 +1,15 @@
+#!/bin/sh
+
+SPECDOC=virtio-v1.0-csd01-html
+
+htlatex $SPECDOC.tex "virtiohtml,info,charset=utf-8" " -cunihtf -utf8"
+
+mv $SPECDOC.html $SPECDOC.tmp1
+
+sed 's/~~/"/g' $SPECDOC.tmp1 >$SPECDOC.tmp2
+sed 's/>~/>"/g' $SPECDOC.tmp2 >$SPECDOC.tmp3
+sed 's/>=~/>="/g' $SPECDOC.tmp3 >$SPECDOC.tmp4
+sed 's/~</"</g' $SPECDOC.tmp4 >$SPECDOC.tmp5
+
+mv $SPECDOC.tmp5 $SPECDOC.html
+rm $SPECDOC.tmp*