diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..2ef0ebf --- /dev/null +++ b/Makefile @@ -0,0 +1,10 @@ +# Make recurse into 'src' directory +.PHONY: default clean + +default: + cd src; ./build.sh + + +clean: + cd src; make clean; cd .. + diff --git a/README.md b/README.md index a5b5666..da224e8 100644 --- a/README.md +++ b/README.md @@ -8,8 +8,8 @@ protocol modelers. For installation and usage instructions of the Scyther tool see: . -Developing ----------- +Installing from source +---------------------- We use Linux during the development of Scyther, but development on Windows and MAC OS X should be equally feasible. Note that the below @@ -52,8 +52,10 @@ us a pull request. Manual ------ -We are currently rewriting the manual. Bear with us for a second and -have a look at the example protocol models. +We are currently rewriting the manual. The current (incomplete) snapshot +of the manual can be found here: + + * `./doc/scyther-manual.pdf Protocol Models