diff options
author | mstsirkin <mstsirkin@0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652> | 2013-11-25 12:24:48 +0000 |
---|---|---|
committer | mstsirkin <mstsirkin@0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652> | 2013-11-25 12:24:48 +0000 |
commit | fe5bfc701f0c86e2193e1e5500b73d61b8c88ae2 (patch) | |
tree | d88894a61c8c85e6e1a64569f06e0bc12d090c51 | |
parent | 493ecc79b0bf3ee402d2acea806dd1895e77ed0a (diff) |
makehtml: remove aux before generation
can be corrupt from previous runs.
Signed-off-by: Michael S. Tsirkin <mst@redhat.com>
git-svn-id: https://tools.oasis-open.org/version-control/svn/virtio@107 0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652
-rwxr-xr-x | makehtml.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/makehtml.sh b/makehtml.sh index fea1ff7..57d7ab5 100755 --- a/makehtml.sh +++ b/makehtml.sh @@ -4,6 +4,7 @@ SPECDOC=virtio-v1.0-csd01-html PATH=.:${PATH} htlatex $SPECDOC.tex "virtiohtml,info,charset=utf-8" " -cunihtf -utf8" +rm $SPECDOC.aux mv $SPECDOC.html $SPECDOC.tmp1 sed 's/~~/"/g' $SPECDOC.tmp1 >$SPECDOC.tmp2 |