diff --git a/doc/shell.html b/doc/shell.html index 7953130af2..0bb8b3b6d8 100644 --- a/doc/shell.html +++ b/doc/shell.html @@ -15,7 +15,7 @@

shell cmd args 
 
-