From 1471906054421acf98e6986caba92cf185d96247 Mon Sep 17 00:00:00 2001
From: boyska <piuttosto@logorroici.org>
Date: Tue, 23 Aug 2016 10:06:09 +0200
Subject: [PATCH] file executable

---
 Makefile   | 2 +-
 readold.py | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)
 mode change 100644 => 100755 readold.py

diff --git a/Makefile b/Makefile
index e0d9648..47c609e 100644
--- a/Makefile
+++ b/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 $< $@
diff --git a/readold.py b/readold.py
old mode 100644
new mode 100755
index eb65811..200cc64
--- a/readold.py
+++ b/readold.py
@@ -1,3 +1,4 @@
+#!/usr/bin/env python3
 import sys
 import json
 from pprint import pprint