lib/scripts/feeder
changeset 40335 3e4bb6e7c3ca
parent 29145 b1c6f4563df7
--- a/lib/scripts/feeder	Wed Nov 03 17:11:40 2010 +0100
+++ b/lib/scripts/feeder	Wed Nov 03 21:53:56 2010 +0100
@@ -16,7 +16,7 @@
   echo "Usage: $PRG [OPTIONS]"
   echo
   echo "  Options are:"
-  echo "    -h TEXT      head text"
+  echo "    -h TEXT      head text (encoded as utf8)"
   echo "    -p           emit my pid"
   echo "    -q           do not pipe stdin"
   echo "    -t TEXT      tail text"