diff options
-rwxr-xr-x | makehtml.sh | 7 | ||||
-rwxr-xr-x | t4ht-workaround/t4ht (renamed from t4ht) | 0 | ||||
-rw-r--r-- | t4ht-workaround/virtio-v1.0-csd01.css (renamed from virtio-v1.0-csd01.css) | 0 |
3 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 diff --git a/t4ht b/t4ht-workaround/t4ht index 2b6e781..2b6e781 100755 --- a/t4ht +++ b/t4ht-workaround/t4ht diff --git a/virtio-v1.0-csd01.css b/t4ht-workaround/virtio-v1.0-csd01.css index f5342e8..f5342e8 100644 --- a/virtio-v1.0-csd01.css +++ b/t4ht-workaround/virtio-v1.0-csd01.css |