summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xmakepdf.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/makepdf.sh b/makepdf.sh
index a50797e..9cae903 100755
--- a/makepdf.sh
+++ b/makepdf.sh
@@ -3,7 +3,7 @@
SPECDOC=${SPECDOC:-`cat REVISION`}
./make-setup-generated.sh "$SPECDOC"
-rm $SPECDOC.aux $SPECDOC.pdf
+rm $SPECDOC.aux $SPECDOC.pdf $SPECDOC.out
xelatex --jobname $SPECDOC virtio.tex
xelatex --jobname $SPECDOC virtio.tex
xelatex --jobname $SPECDOC virtio.tex