diff options
Diffstat (limited to 'makeall.sh')
| -rwxr-xr-x | makeall.sh | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/makeall.sh b/makeall.sh new file mode 100755 index 0000000..dbdfd73 --- /dev/null +++ b/makeall.sh @@ -0,0 +1,17 @@ +export SPECDOC=${SPECDOC:-virtio-v1.0-wd01} +rm -f $SPECDOC +git archive --format=zip --prefix=tex/ -o $SPECDOC.zip HEAD +zip -d $SPECDOC.zip tex/.gitattributes +./makehtml.sh +./makepdf.sh +zip $SPECDOC.zip $SPECDOC.pdf +mkdir -p listings +cp virtio-ring.h listings/virtio_ring.h +zip $SPECDOC.zip listings/virtio_ring.h +echo Generated file $SPECDOC.zip +echo To change output file name, set SPECDOC environment variable +echo Examples: +echo SPECDOC=virtio-v1.0-wd01 $0 +echo SPECDOC=virtio-v1.0-csd01 $0 +echo SPECDOC=virtio-v1.0-csprd01 $0 +echo SPECDOC=virtio-v1.0-os $0 |