diff --git a/manual/README.md b/manual/README.md new file mode 100644 index 0000000..822e152 --- /dev/null +++ b/manual/README.md @@ -0,0 +1,13 @@ +# Scyther Manual Draft + +## TODO + +### Build process + + - Ensure manual build is triggered from root directory Makefile, ideally after checking for the dependencies. + +### To document + + - Add running/commit/agreement explanation with where to put the signals. + - Relevant environment variables + - All switches diff --git a/manual/todo.txt b/manual/todo.txt deleted file mode 100644 index 82a3e49..0000000 --- a/manual/todo.txt +++ /dev/null @@ -1,5 +0,0 @@ -- Add running/commit/agreement explanation with where to put the - signals. - -- Relevant environment variables -- Switches