diff --git a/TODO.xml b/TODO.xml index 6fee7f0f8..00181138a 100644 --- a/TODO.xml +++ b/TODO.xml @@ -4,7 +4,7 @@ version updated. If you modify this file, you should check for parse errors by running: - $ docs/make-todo > /dev/null + $ docs/make-todo TODO.xml > /dev/null before committing, or you may screw up the online version -->