*** empty log message ***

diff --git a/todo b/todo
index 8b47521867c33ad58a35b5f991aa3669adb4b459..489b1ee1156cbc89d2f6bf7523614b04023ef02c 100644 (file)
--- a/todo
+++ b/todo
@@ -1,2 +1,5 @@
 demo/*.c doesn't always get headers right.
 
+Don't install man pages to /usr/share/man
+
+