From a5e6b8e703e4bf66a7fa62e7a0b73aa81fad5ab2 Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Sun, 12 Feb 2023 22:44:38 +0100 Subject: [PATCH] Moving todos to a README.md in the manual directory. --- manual/README.md | 13 +++++++++++++ manual/todo.txt | 5 ----- 2 files changed, 13 insertions(+), 5 deletions(-) create mode 100644 manual/README.md delete mode 100644 manual/todo.txt 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