diff --git a/TODO b/TODO
index c6191779f8ce071826b675f4a2907900f8cee932..00b8aacc89ea3530acddc7ae96d932a05e2c8eb9 100644
--- a/TODO
+++ b/TODO
@@ -1,6 +1,10 @@
 ------------------------------------------------------------
 -= 1.2 =-
 
+* add flags The patch adds a couple extra configure options,
+  --enable-library-for-ghci / --disable-library-for-ghci or whatever
+   they end up being, to the manual.
+
 * Something for gentoo which produces a package gen file but doesn't
   do the register??