diff options
Diffstat (limited to 'makehtml.sh')
| -rwxr-xr-x | makehtml.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/makehtml.sh b/makehtml.sh index bc65b6d..a708775 100755 --- a/makehtml.sh +++ b/makehtml.sh @@ -2,7 +2,9 @@ SPECDOC=virtio-v1.0-csd01-html -PATH=.:${PATH} htlatex $SPECDOC.tex "virtiohtml,info,charset=utf-8" " -cunihtf -utf8" +#uncomment if you have a broken t4ht +#PATH=./t4ht-workaround:${PATH} htlatex $SPECDOC.tex "virtiohtml,info,charset=utf-8" " -cunihtf -utf8" +htlatex $SPECDOC.tex "virtiohtml,info,charset=utf-8" " -cunihtf -utf8" rm $SPECDOC.aux mv $SPECDOC.html $SPECDOC.tmp1 @@ -15,6 +17,7 @@ sed 's/~</"</g' $SPECDOC.tmp4 >$SPECDOC.tmp5 mv $SPECDOC.tmp5 $SPECDOC.html rm $SPECDOC.tmp* -cp virtio-v1.0-csd01.css $SPECDOC.css +#uncomment if you have a broken t4ht +#cp ./t4ht-workaround/virtio-v1.0-csd01.css $SPECDOC.css zip $SPECDOC.zip $SPECDOC.html $SPECDOC.css images/*.png |