Documentation update.

diff --git a/csvtool.ml b/csvtool.ml
index d594ea6..f6c1184 100644 (file)
--- a/csvtool.ml
+++ b/csvtool.ml
@@ -1,5 +1,5 @@
 (* Handy tool for managing CSV files.
- * $Id: csvtool.ml,v 1.4 2006-10-24 10:06:01 rich Exp $
+ * $Id: csvtool.ml,v 1.5 2006-10-24 10:09:33 rich Exp $
  *)
 
 open Printf
@@ -379,7 +379,6 @@ Column specs:
 
 Input files:
   csvtool takes a list of input file(s) from the command line.
-  If none are listed, then stdin is used instead.
 
 Output file:
   Normally the output is written to stdout.  Use the -o option