all: old.json

news_index.php:
	wget -q 'https://old.ondarossa.info/news_index.php' -c

old.json: news_index.php readold.py
	./readold.py $< $@