- Final fixes for beta 5
This commit is contained in:
parent
6fd408a650
commit
bd03983fc5
4
dist/makedist.sh
vendored
4
dist/makedist.sh
vendored
@ -28,9 +28,9 @@ TMPDIR=/tmp/scytherdist
|
||||
WORKNAME=scyther
|
||||
|
||||
# Repository
|
||||
PROTROOT=https://svn.win.tue.nl/repos/ecss/trunk/protocols/spdl
|
||||
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/ecss/trunk/papers/scythermanual
|
||||
DOCROOT=https://svn.win.tue.nl/repos/scyther/trunk/manual
|
||||
|
||||
MANUAL=scyther-manual.pdf
|
||||
|
||||
|
Binary file not shown.
Binary file not shown.
@ -1 +1 @@
|
||||
#define RELEASEVERSION "1.0-beta 4"
|
||||
#define RELEASEVERSION "1.0-beta 5"
|
||||
|
@ -1451,7 +1451,7 @@ process_switches (int commandline)
|
||||
{
|
||||
printf ("Try '%s --help' for more information, or visit:\n",
|
||||
progname);
|
||||
printf (" http://www.win.tue.nl/~ccremers/scyther/index.html\n");
|
||||
printf (" http://people.inf.ethz.ch/cremersc/scyther/index.html\n");
|
||||
exit (0);
|
||||
}
|
||||
else
|
||||
|
Loading…
Reference in New Issue
Block a user