Makefile: use Python to execute repo_check.py

maxim-belkin · fmichonneau · commit a435fcd371d2 · 2019-12-13T17:24:03.000-05:00
diff --git a/Makefile b/Makefile
@@ -62,7 +62,7 @@ site : lesson-md
 
 # repo-check        : check repository settings.
 repo-check :
-	@bin/repo_check.py -s .
+	@${PYTHON} bin/repo_check.py -s .
 
 ## clean            : clean up junk files.
 clean :
