index.json: index.rdfa.html
	python3 scripts/extract_rdf.py > $@