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 f322780..bb82703 100755 --- a/makehtml.sh +++ b/makehtml.sh @@ -1,6 +1,6 @@ #!/bin/sh -SPECDOC=virtio-v1.0-csd01 +SPECDOC=${SPECDOC:-virtio-v1.0-csd01} cp virtio-html.tex $SPECDOC.tex @@ -8,6 +8,8 @@ cp virtio-html.tex $SPECDOC.tex #PATH=./t4ht-workaround:${PATH} htlatex $SPECDOC.tex "virtiohtml,info,charset=utf-8" " -cunihtf -utf8" htlatex $SPECDOC.tex "virtio-html,info,charset=utf-8" " -cunihtf -utf8" +rm $SPECDOC.tex + rm $SPECDOC.aux mv $SPECDOC.html $SPECDOC.tmp1 |