diff options
| -rwxr-xr-x | makehtml.sh | 6 | ||||
| -rw-r--r-- | virtio-html.cfg (renamed from virtiohtml.cfg) | 0 | ||||
| -rw-r--r-- | virtio-html.tex (renamed from virtio-v1.0-csd01-html.tex) | 0 |
3 files changed, 4 insertions, 2 deletions
diff --git a/makehtml.sh b/makehtml.sh index 9dafdaf..f322780 100755 --- a/makehtml.sh +++ b/makehtml.sh @@ -1,10 +1,12 @@ #!/bin/sh -SPECDOC=virtio-v1.0-csd01-html +SPECDOC=virtio-v1.0-csd01 + +cp virtio-html.tex $SPECDOC.tex #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" +htlatex $SPECDOC.tex "virtio-html,info,charset=utf-8" " -cunihtf -utf8" rm $SPECDOC.aux mv $SPECDOC.html $SPECDOC.tmp1 diff --git a/virtiohtml.cfg b/virtio-html.cfg index 0106271..0106271 100644 --- a/virtiohtml.cfg +++ b/virtio-html.cfg diff --git a/virtio-v1.0-csd01-html.tex b/virtio-html.tex index fd9d252..fd9d252 100644 --- a/virtio-v1.0-csd01-html.tex +++ b/virtio-html.tex |