diff options
| -rwxr-xr-x | makediffall.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/makediffall.sh b/makediffall.sh new file mode 100755 index 0000000..406779c --- /dev/null +++ b/makediffall.sh @@ -0,0 +1,14 @@ +export SPECDOC=${SPECDOC:-`cat REVISION`} +./makezip.sh +./makehtml.sh +./makediffhtml.sh +./makepdf.sh +./makediffpdf.sh +zip $SPECDOC.zip $SPECDOC.pdf $SPECDOC-diff.html $SPECDOC-diff.css $SPECDOC-diff.pdf +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 |