scyther/manual/README.md

# Scyther Manual Draft

## TODO

### Build process

 - Ensure manual build is triggered from root directory Makefile, ideally after checking for the dependencies. (Partially done: `make manual` from root dir works now.)

### To document

 - Add running/commit/agreement explanation with where to put the signals.
 - Relevant environment variables
 - All switches
Moving todos to a README.md in the manual directory. 2023-02-12 21:44:38 +00:00			`# Scyther Manual Draft`

			`## TODO`

			`### Build process`

Added manual target to top-level Makefile. 2023-02-13 15:40:44 +00:00			- Ensure manual build is triggered from root directory Makefile, ideally after checking for the dependencies. (Partially done: `make manual` from root dir works now.)
Moving todos to a README.md in the manual directory. 2023-02-12 21:44:38 +00:00
			`### To document`

			`- Add running/commit/agreement explanation with where to put the signals.`
			`- Relevant environment variables`
			`- All switches`