From 699cec2574ad351163d3bc6245ad765a2b4cf87b Mon Sep 17 00:00:00 2001
From: Leo <leo.margolis@vub.be>
Date: Fri, 20 Sep 2024 12:07:31 +0200
Subject: [PATCH] Make doc/make_doc executable

---
 doc/make_doc | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 doc/make_doc

diff --git a/doc/make_doc b/doc/make_doc
old mode 100644
new mode 100755