diff options
-rwxr-xr-x | makepdf.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |