diff -r 72e3d61e5a20 -r 6e73d31af3af Plugins/PluginEricdoc.py
--- 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({
