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 $< $@