summaryrefslogtreecommitdiff
path: root/makehtml.sh
blob: 000a5bcab3b45e3e91e9a192235b27362ee06c4c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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*