Minor synchronisation updates.

This commit is contained in:
Cas Cremers 2012-12-17 10:14:31 +01:00
parent 1df5bf1fc3
commit 091ce01f60
2 changed files with 16 additions and 4 deletions

10
Makefile Normal file
View File

@ -0,0 +1,10 @@
# Make recurse into 'src' directory
.PHONY: default clean
default:
cd src; ./build.sh
clean:
cd src; make clean; cd ..

View File

@ -8,8 +8,8 @@ protocol modelers. For installation and usage instructions of the
Scyther tool see: Scyther tool see:
<http://people.inf.ethz.ch/cremersc/scyther/index.html>. <http://people.inf.ethz.ch/cremersc/scyther/index.html>.
Developing Installing from source
---------- ----------------------
We use Linux during the development of Scyther, but development on We use Linux during the development of Scyther, but development on
Windows and MAC OS X should be equally feasible. Note that the below Windows and MAC OS X should be equally feasible. Note that the below
@ -52,8 +52,10 @@ us a pull request.
Manual Manual
------ ------
We are currently rewriting the manual. Bear with us for a second and We are currently rewriting the manual. The current (incomplete) snapshot
have a look at the example protocol models. of the manual can be found here:
* `./doc/scyther-manual.pdf
Protocol Models Protocol Models