make-deb

   1 #!/bin/sh
   2 set -e
   3
   4 TEMPDIR=temp-debian
   5
   6 echo "creating Debian source tree"
   7
   8 rm -rf ${TEMPDIR}
   9 mkdir ${TEMPDIR}
  10 cd ${TEMPDIR} && ../configure && make debian-dist
  11 cd .. && rm -r ${TEMPDIR}
  12
  13 echo "done."
  14