summaryrefslogtreecommitdiff
path: root/makehtml.sh
blob: 57d7ab5dd1682665a088eff7ecd0cb6352891862 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#!/bin/sh

SPECDOC=virtio-v1.0-csd01-html

PATH=.:${PATH} htlatex $SPECDOC.tex "virtiohtml,info,charset=utf-8" " -cunihtf -utf8"

rm $SPECDOC.aux
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*

zip $SPECDOC.zip $SPECDOC.html $SPECDOC.css images/*.png