Done: convert to use gnulib-tool

diff --git a/TODO b/TODO
index 8cc278b..40338c4 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,5 +1,3 @@
-convert to use gnulib-tool
-
 strip: add an option to specify the program used to strip binaries.
   suggestion from Karl Berry