1 files changed, 3 insertions, 0 deletions
diff --git a/TODOs.md b/TODOs.md
index daac55d..fec0f75 100644
--- a/TODOs.md
+++ b/TODOs.md
@@ -1,5 +1,8 @@
 # Tasks
 
+## TODO Assert `make clean all check install ...` does not depend on `aux/` {#task-079946ed-7e58-3051-78d6-71ba12342aba}
+- TODO in 2021-08-17
+
 ## TODO Improve `installcheck.sh` {#task-4a7e02bd-ab82-c628-fa1c-02749c178936}
 - TODO in 2021-08-15