From 19705b7ef45c092791a8689a7af14fbf370625e9 Mon Sep 17 00:00:00 2001
From: Dado Sutter <dadosutter@gmail.com>
Date: Wed, 25 Nov 2009 19:21:48 +0000
Subject: [PATCH] cat shell cmd usage text refined.

---
 src/shell.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/shell.c b/src/shell.c
index e6609896..43058f50 100644
--- a/src/shell.c
+++ b/src/shell.c
@@ -216,7 +216,7 @@ static void shell_cat( char *args )
       args = p + 1;
     }      
   else
-      printf( "Usage: cat (or type) <filename>\n" );
+      printf( "Usage: cat (or type) <filename1> [<filename2> ...]\n" );
 }