dist.sh

   1 #!/bin/sh
   2 cd $(dirname $0)
   3 home=$(pwd)
   4 name=$(basename $home)
   5 dir=${name}-$(date --iso)
   6
   7 TMPDIR=`mktemp -d /tmp/dist.XXXXXXXXXX`
   8 cleanup() {
   9     cd
  10     rm -rf $TMPDIR
  11 }
  12 trap cleanup exit
  13
  14 cd $TMPDIR
  15 cvs -d "`cat $home/CVS/Root`" export -r HEAD -d "$dir" "$name"
  16
  17 make -C $dir/doc
  18
  19 tgz=$TMPDIR/${dir}.tgz
  20 tar czf $tgz $dir
  21 gpg -b -a $tgz
  22
  23 mv $tgz $tgz.asc $home/