makeall.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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