From 091ce01f6098658a7e0731fa45672b0986a04225 Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Mon, 17 Dec 2012 10:14:31 +0100 Subject: [PATCH] Minor synchronisation updates. --- Makefile | 10 ++++++++++ README.md | 10 ++++++---- 2 files changed, 16 insertions(+), 4 deletions(-) create mode 100644 Makefile 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