file executable

Makefile

@@ -4,4 +4,4 @@ news_index.php:
 	wget -q 'https://old.ondarossa.info/news_index.php' -c
 
 old.json: news_index.php readold.py
-	python readold.py $< $@
+	./readold.py $< $@

readold.py

@@ -1,3 +1,4 @@
+#!/usr/bin/env python3
 import sys
 import json
 from pprint import pprint