Mercurial Repositories > eric / file diff

--- a/Plugins/PluginEricdoc.py	Sun Sep 09 19:30:54 2018 +0200
+++ b/Plugins/PluginEricdoc.py	Mon Sep 10 18:15:10 2018 +0200
@@ -54,7 +54,9 @@
     # 1. eric6_doc
     exe = 'eric6_doc'
     if Utilities.isWindowsPlatform():
-        exe = os.path.join(getConfig("bindir"), exe + '.bat')
+        exe = os.path.join(getConfig("bindir"), exe + '.cmd')
+        if not os.path.exists(exe):
+            exe = os.path.join(getConfig("bindir"), exe + '.bat')
     else:
         exe = os.path.join(getConfig("bindir"), exe)
     dataList.append({