more todo

diff --git a/todo b/todo
index e374a1bd20a41da0d002da7859f64c11074d041a..ccabb85a61247a09fe1dd2347ff09736616ca472 100644 (file)
--- a/todo
+++ b/todo
@@ -7,6 +7,8 @@ website, contact info
 
 delete halfway-built output files when interrupted
 
+doc how phony rules work
+
 frosting
 ========