summaryrefslogtreecommitdiff
path: root/makepdf.sh
diff options
context:
space:
mode:
Diffstat (limited to 'makepdf.sh')
-rwxr-xr-xmakepdf.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/makepdf.sh b/makepdf.sh
index d0bae33..0e2a8f2 100755
--- a/makepdf.sh
+++ b/makepdf.sh
@@ -1,8 +1,8 @@
#!/bin/sh
-SPECDOC=virtio-v1.0-csd01
+SPECDOC=${SPECDOC:-virtio-v1.0-csd01}
-rm $SPECDOC.aux
+rm $SPECDOC.aux $SPECDOC.pdf
xelatex --jobname $SPECDOC virtio.tex
xelatex --jobname $SPECDOC virtio.tex
xelatex --jobname $SPECDOC virtio.tex