From 9af0c202c7314f50fc82f019cd2d35969ea28684 Mon Sep 17 00:00:00 2001 From: Matthew Andres Moreno Date: Thu, 7 Dec 2023 17:44:35 -0500 Subject: [PATCH] Make make_md.py executable --- doc/make_md.py | 2 ++ 1 file changed, 2 insertions(+) mode change 100644 => 100755 doc/make_md.py diff --git a/doc/make_md.py b/doc/make_md.py old mode 100644 new mode 100755 index 1b497624aa..75408f30ad --- a/doc/make_md.py +++ b/doc/make_md.py @@ -1,3 +1,5 @@ +#!/usr/bin/python + import glob import os