index.json: index.html python3 scripts/extract_rdf.py > $@ index_titles.html: index.json scripts/templates/index_titles.html scripts/index_new.py python3 scripts/index_new.py