diff -r 7ecac3b1c7aa -r 5665f93a1018 Documentation/Source/eric6.install.html --- 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>