+++ /dev/null
-#!/bin/bash
-
-CONFIG=makedist.config
-
-if [ ! -f $CONFIG ]; then
- echo Configuration missing: $CONFIG
- echo Please set the following variables in $CONFIG
- echo in you current directory:
- echo
- echo 'VERSION=x.y.z #use desired version'
- echo 'BRANCH="master" #or e.g. "maintained-release"'
- echo 'REMOTE="sf" #depending on your git configuration'
- exit
-else
- . $CONFIG
-fi
-
-# Init
-OLDDIR=$(pwd)
-SRCDIR=$OLDDIR/vym
-TMPDIR=$OLDDIR/tmp
-
-echo "Getting sources for: vym"
-echo " Branch: $BRANCH"
-echo " Branch: $VERSION"
-echo " Working directory: $OLDDIR"
-echo
-
-
-#Specific init:
-BINDIR=$OLDDIR/binaries
-DOCDIR=$TMPDIR/tex
-
-echo Creating $BINDIR...
-mkdir $BINDIR
-
-echo Remove current content from $BINDIR...
-rm $BINDIR/*
-
-echo Copy README.txt INSTALL.txt LICENCSE.txt...
-cp $SRCDIR/README.txt $SRCDIR/INSTALL.txt $SRCDIR/LICENSE.txt $BINDIR
-
-echo Copy pdfs...
-cp $DOCDIR/*.pdf $BINDIR
-
-echo Copy source tarball
-cp $OLDDIR/vym-$VERSION.tar.bz2 $BINDIR
-
-echo Get binaries from OBS
-osc getbinaries xUbuntu_11.10 i586
-osc getbinaries xUbuntu_11.10 x86_64
-osc getbinaries openSUSE_12.1 i586
-osc getbinaries openSUSE_12.1 x86_64
-
-echo Removing logfile
-rm $BINDIR/rpmlint.log
-
-ls -l $BINDIR
\ No newline at end of file