diff options
-rwxr-xr-x | makeall.sh | 2 | ||||
-rwxr-xr-x | makehtml.sh | 2 | ||||
-rwxr-xr-x | makepdf.sh | 2 |
3 files changed, 3 insertions, 3 deletions
@@ -1,4 +1,4 @@ -export SPECDOC=${SPECDOC:-virtio-v1.0-wd01} +export SPECDOC=${SPECDOC:-`cat REVISION`} rm -f $SPECDOC if test -d .git; then git archive --format=zip --prefix=tex/ -o $SPECDOC.zip HEAD diff --git a/makehtml.sh b/makehtml.sh index c341c4c..2ca387b 100755 --- a/makehtml.sh +++ b/makehtml.sh @@ -1,6 +1,6 @@ #!/bin/sh -SPECDOC=${SPECDOC:-virtio-v1.0-csd01} +SPECDOC=${SPECDOC:-`cat REVISION`} ./make-setup-generated.sh "$SPECDOC" cp virtio-html.tex $SPECDOC.tex @@ -1,6 +1,6 @@ #!/bin/sh -SPECDOC=${SPECDOC:-virtio-v1.0-csd01} +SPECDOC=${SPECDOC:-`cat REVISION`} ./make-setup-generated.sh "$SPECDOC" rm $SPECDOC.aux $SPECDOC.pdf |