Makefile: use Python to execute repo_check.py
authorMaxim Belkin <maxim.belkin@gmail.com>
Fri, 13 Dec 2019 18:12:16 +0000 (12:12 -0600)
committerFrançois Michonneau <francois.michonneau@gmail.com>
Fri, 13 Dec 2019 22:24:03 +0000 (17:24 -0500)
Makefile

index 14a53a24d23bdd0b9357937d7eed373da70599bf..b87888535941002c9910df0800470a68594cbee8 100644 (file)
--- 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 :