makedist
上传用户:gzpyjq
上传日期:2013-01-31
资源大小:1852k
文件大小:1k
源码类别:

手机WAP编程

开发平台:

WINDOWS

  1. #!/bin/sh
  2. #
  3. # Create distribution files.
  4. #
  5. # Lars Wirzenius <liw@wapit.com>
  6. set -e
  7. version="$1"
  8. tag=version_`echo $version | tr .- __`
  9. base=gateway-$version
  10. rm -rf $base
  11. cvs -Q export -r $tag -d $base gateway
  12. if [ "`head -1 $base/VERSION`" != "$version" ]
  13. then
  14. echo "Oops, VERSION does not match."
  15. exit 1
  16. fi
  17. tar -c -z -f $base.tar.gz $base
  18. zip -9qr $base.zip $base/*
  19. (
  20.  set -e
  21.  cd $base
  22.  ./configure --enable-docs >/dev/null
  23.  touch .depend
  24.  make -s depend
  25.  make -s docs
  26. )
  27. cp -a $base/doc/arch arch-$version
  28. cp $base/doc/arch/arch.ps arch-$version.ps
  29. tar -c -z -f arch-$version.tar.gz arch-$version/*
  30. zip -9qr arch-$version.zip arch-$version/*
  31. cp -a $base/doc/userguide userguide-$version
  32. cp $base/doc/userguide/userguide.ps userguide-$version.ps
  33. tar -c -z -f userguide-$version.tar.gz userguide-$version/*
  34. zip -9qr userguide-$version.zip userguide-$version/*
  35. cp $base/NEWS NEWS-$version
  36. cp $base/README README-$version
  37. cp $base/ChangeLog ChangeLog-$version