diff -r 72e3d61e5a20 -r 6e73d31af3af Documentation/Source/eric6.Utilities.__init__.html --- a/Documentation/Source/eric6.Utilities.__init__.html Sun Sep 09 19:30:54 2018 +0200 +++ b/Documentation/Source/eric6.Utilities.__init__.html Mon Sep 10 18:15:10 2018 +0200 @@ -1156,9 +1156,9 @@ Function to build the full path of an executable file from the environment on Windows platforms. </p><p> - First an executable with the extension .exe is searched for, thereafter one - with the extension .bat and finally the given file name as is. The first - match is returned. + First an executable with the extension .exe is searched for, thereafter + such with the extensions .cmd or .bat and finally the given file name as + is. The first match is returned. </p><dl> <dt><i>file</i></dt> <dd>