From 4d418ace1cd9fb923692618afb63fc891776bf0d 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
---
 bucket/octave.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bucket/octave.json b/bucket/octave.json
index 596e6cbce..3751e84f3 100644
--- a/bucket/octave.json
+++ b/bucket/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"