- Removed obsolete files for new versions.

dist/NewVersion.txt

@@ -1,7 +0,0 @@
-Where are the version numbers? (way too distributed)
-
-- Gui has a version number in Version.py. This is propagated into the
-  binary and into the archive name as well.
-- ChangeLog
-- Readme.txt
-

dist/makedist.sh

@@ -1,82 +0,0 @@
-#!/bin/sh
-#------------------------------------------------------------------------------
-#
-#	makedist.sh
-#
-#	Make a Scyther distribution of the most recent revision.
-#
-#
-#	A distribution is a directory
-#
-#	   scyther/
-#	      - everything from ../gui
-#	      SPORE/
-#	        - spore files
-#	      
-
-#------------------------------------------------------------------------------
-#
-#	Parameters
-
-#	Creates a temporary subdirectory here.
-TMPDIR=/tmp/scytherdist
-WORKNAME=scyther
-
-#	Repository
-PROTROOT=https://svn.win.tue.nl/repos/scyther/trunk/spdl
-SVNROOT=https://svn.win.tue.nl/repos/scyther/trunk
-DOCROOT=https://svn.win.tue.nl/repos/scyther/trunk/manual
-
-MANUAL=scyther-manual.pdf
-
-#------------------------------------------------------------------------------
-#
-#	Derived things
-
-WORKDIR=$TMPDIR/$WORKNAME
-CURDIR=$PWD
-DOCDEST=$WORKDIR/doc
-
-#------------------------------------------------------------------------------
-#
-#	Init
-
-#	Remove old remnants and create a new directory
-rm -f $DEST
-rm -f $ZIPDEST
-rm -rf $TMPDIR
-mkdir $TMPDIR
-
-#------------------------------------------------------------------------------
-#
-#	Collect required data and set up
-
-
-#	Fill
-svn export $SVNROOT/gui $WORKDIR
-svn export $PROTROOT/SPORE $WORKDIR/SPORE
-
-svn cat $DOCROOT/$MANUAL >$WORKDIR/$MANUAL
-
-#------------------------------------------------------------------------------
-#
-#	Collected all needed data, finish up
-
-TAGVERSION=`awk 'BEGIN { FS="\""; } { print $2; }' ../gui/Gui/Version.py`
-RELEASE="scyther-$TAGVERSION"
-
-ARCHIVE="$RELEASE.tgz"
-ZIPPED="$RELEASE.zip"
-DEST=$PWD/$ARCHIVE
-ZIPDEST=$PWD/$ZIPPED
-
-#	Compress
-cd $TMPDIR
-tar zcvf $DEST $WORKNAME
-zip -r $ZIPDEST $WORKNAME
-
-#	Remove garbage
-rm -rf $TMPDIR
-
-#------------------------------------------------------------------------------
-# Done.