Make make_md.py executable

devosoft · Dec 7, 2023 · 9af0c20 · 9af0c20
1 parent dfb8a8e
commit 9af0c20
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/doc/make_md.py b/doc/make_md.py
@@ -1,3 +1,5 @@
+#!/usr/bin/python
+
 import glob
 import os