From a09d66e9aa7407142bcdf8cdb761d0c8380c32c7 Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Sun, 26 Aug 2018 12:03:59 +0200
Subject: [PATCH] octave: change bin to octave.bat (closes #2534)

https://savannah.gnu.org/bugs/?53938
---
 octave.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/octave.json b/octave.json
index 596e6cbce5..3751e84f3c 100644
--- a/octave.json
+++ b/octave.json
@@ -15,7 +15,7 @@
         }
     },
     "bin": [
-        "bin\\octave.exe",
+        "bin\\octave.bat",
         "bin\\octave-gui.exe",
         "bin\\octave-cli.exe",
         "bin\\octave-config.exe"