--- a/Documentation/Source/eric6.install.html Sat Nov 17 19:36:46 2018 +0100 +++ b/Documentation/Source/eric6.install.html Sat Nov 17 19:37:46 2018 +0100 @@ -477,9 +477,9 @@ <p> The main function of the script. </p><dl> -<dt><i>argv</i></dt> +<dt><i>argv</i> (list of str)</dt> <dd> -the list of command line arguments. +list of command line arguments </dd> </dl> <div align="right"><a href="#top">Up</a></div>