[Pkg-ocaml-maint-commits] [SCM] prooftree packaging branch, upstream, updated. upstream/0.10-1-g6b392a2

[Hendrik Tews]

The following commit has been merged in the upstream branch:
commit 6b392a2f22fabcd34fd7c034518f9c55343d93cd
Author: Hendrik Tews <hendrik at askra.de>
Date:   Mon May 14 23:39:37 2012 +0200

    Imported Upstream version 0.10

diff --git a/make-deb-package b/make-deb-package
deleted file mode 100755
index 7afd6b7..0000000
--- a/make-deb-package
+++ /dev/null
@@ -1,73 +0,0 @@
-#!/bin/bash
-
-#set -x
-set -e
-
-export DEBEMAIL="hendrik at askra.de"
-export DEBFULLNAME="Hendrik Tews"
-
-timestamp=$(date '+%Y-%m-%d')
-
-dir="prooftree-$timestamp"
-webdir=/home/tews/www/alfa-www/askra-root/software/prooftree
-
-export CVSROOT=$(cat CVS/Root)
-echo using CVSROOT $CVSROOT
-
-
-#######################################################################
-# make source and bin package
-
-version=$(cat version.txt)
-
-subdir="prooftree-$version"
-
-tgzfile="$subdir.tar.gz"
-
-pushd /tmp/tews
-
-rm -rf prooftree-*
-
-mkdir $dir
-pushd $dir
-
-cvs export -r HEAD -d $subdir src/proof-tree
-
-pushd $subdir
-
-rm -f make-bundle make-release make-dep-package
-
-popd
-# back in $dir
-
-mv $subdir/debian .
-
-tar -czf $tgzfile $subdir
-
-cp $tgzfile prooftree_$version.orig.tar.gz
-
-cp -a $subdir $subdir-orig
-
-mv debian $subdir
-
-pushd $subdir
-
-#./configure --prefix /usr
-
-debuild -i -us -uc
-
-popd
-# back in $dir
-
-debfile=$(ls *.deb)
-
-echo
-echo copy $debfile to $webdir
-echo -n [Y/n]?
-read answer
-
-if [  ${answer:=y} = n -o $answer = N ] ; then
-    exit 0
-fi
-
-cp $debfile $webdir/releases

-- 
prooftree packaging