From 4ad0cf714bef7055db7ac948916c00752a3514f4 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 4 Jan 2006 14:13:48 +0000
Subject: [PATCH] - Better distribution text and stuff.

---
 dist/makedist.sh |  2 +-
 dist/readme.txt  | 31 +++++++++++++++++++++++--------
 2 files changed, 24 insertions(+), 9 deletions(-)

diff --git a/dist/makedist.sh b/dist/makedist.sh
index a468eb2..167aff5 100755
--- a/dist/makedist.sh
+++ b/dist/makedist.sh
@@ -60,7 +60,7 @@ mkdir $WORKDIR
 #	Fill
 svn export $SVNROOT/SPORE $WORKDIR/SPORE
 svn export $SVNROOT/demo $WORKDIR/demo
-svn export $SVNROOT/scyther $WORKDIR/scyther
+svn export $SVNROOT/scyther $WORKDIR/bin
 
 #	Readme
 cp readme.txt $WORKDIR
diff --git a/dist/readme.txt b/dist/readme.txt
index 79ac36c..c695c30 100644
--- a/dist/readme.txt
+++ b/dist/readme.txt
@@ -2,13 +2,17 @@
 
 				Scyther
 
+			       1.0-beta1
+
 	       a verification tool for security protocols
 			     by Cas Cremers
 
+		 (Compiled for Linux i686 environments)
+
 ------------------------------------------------------------------------
 
 
-Note: This is a 1.0beta release, and therefore the usual warnings apply.
+Note: This is a BETA release, and therefore the usual warnings apply.
 
 
 
@@ -23,21 +27,32 @@ For more information, see:
 2. Starting out
 ========================================================================
 
-To start, run the scyther executable (scyther/scyther) with the --help
-switch, or try
+To start, untar the archive:
 
-  $ scyther/scyther demo/ns3.spdl
+  $ tar zxvf scyther.tgz
+  
+This will produce a directory 'scyther'. Change into this directory.
 
-For graphical output, you need:
+  $ cd scyther
+
+Now run the scyther executable (bin/scyther) with the --help switch,
+or try:
+
+  $ bin/scyther demo/ns3.spdl
+
+To have Scyther produce graphical graphical output, you need:
 
 - a pdf viewer (xpdf is assumed)
-- the GraphViz package (for the 'dot' executable).
+- the GraphViz package (for the 'dot' executable), which can be found
+  at: http://www.research.att.com/sw/tools/graphviz/
 
-Add the paths 'scyther/' and 'demo/' to your path environment variable
-(something like 'export PATH=$PATH:$PWD/demo'), and try
+Add the paths 'bin/' and 'demo/' to your path environment variable
+(something like 'export PATH=$PATH:$PWD/bin:$PWD/demo'), and try
 
   $ scytherview demo/nsl3.spdl
 
+Many other protocol input files can be found in the SPORE directory.
+
 
 3. Citing Scyther
 ===========================