From 1e665bd3b5f493798379c22b869374ec46540634 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jon=20Haitz=20Legarreta=20Gorro=C3=B1o?=
 <jon.haitz.legarreta@gmail.com>
Date: Sun, 22 Oct 2023 13:35:45 -0400
Subject: [PATCH] ENH: Make documentation batch file have executable
 permissions

Make documentation batch file have executable permissions.
---
 doc/make.bat | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 doc/make.bat

diff --git a/doc/make.bat b/doc/make.bat
old mode 100644
new mode 100755