scyther/manual/README.md
2023-02-13 16:40:44 +01:00

14 lines
363 B
Markdown

# 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