makedist
资源名称:gateway-1.2.1 [点击查看]
上传用户:gzpyjq
上传日期:2013-01-31
资源大小:1852k
文件大小:1k
源码类别:
手机WAP编程
开发平台:
WINDOWS
- #!/bin/sh
- #
- # Create distribution files.
- #
- # Lars Wirzenius <liw@wapit.com>
- set -e
- version="$1"
- tag=version_`echo $version | tr .- __`
- base=gateway-$version
- rm -rf $base
- cvs -Q export -r $tag -d $base gateway
- if [ "`head -1 $base/VERSION`" != "$version" ]
- then
- echo "Oops, VERSION does not match."
- exit 1
- fi
- tar -c -z -f $base.tar.gz $base
- zip -9qr $base.zip $base/*
- (
- set -e
- cd $base
- ./configure --enable-docs >/dev/null
- touch .depend
- make -s depend
- make -s docs
- )
- cp -a $base/doc/arch arch-$version
- cp $base/doc/arch/arch.ps arch-$version.ps
- tar -c -z -f arch-$version.tar.gz arch-$version/*
- zip -9qr arch-$version.zip arch-$version/*
- cp -a $base/doc/userguide userguide-$version
- cp $base/doc/userguide/userguide.ps userguide-$version.ps
- tar -c -z -f userguide-$version.tar.gz userguide-$version/*
- zip -9qr userguide-$version.zip userguide-$version/*
- cp $base/NEWS NEWS-$version
- cp $base/README README-$version
- cp $base/ChangeLog ChangeLog-$version