diff options
Diffstat (limited to 'makehtml.sh')
| -rwxr-xr-x | makehtml.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/makehtml.sh b/makehtml.sh index 000a5bc..fea1ff7 100755 --- a/makehtml.sh +++ b/makehtml.sh @@ -2,7 +2,7 @@ SPECDOC=virtio-v1.0-csd01-html -htlatex $SPECDOC.tex "virtiohtml,info,charset=utf-8" " -cunihtf -utf8" +PATH=.:${PATH} htlatex $SPECDOC.tex "virtiohtml,info,charset=utf-8" " -cunihtf -utf8" mv $SPECDOC.html $SPECDOC.tmp1 @@ -13,3 +13,5 @@ sed 's/~</"</g' $SPECDOC.tmp4 >$SPECDOC.tmp5 mv $SPECDOC.tmp5 $SPECDOC.html rm $SPECDOC.tmp* + +zip $SPECDOC.zip $SPECDOC.html $SPECDOC.css images/*.png |