venv/:
	python3 -m venv venv
	source venv/bin/activate
	pip install html5lib jinja2 rdflib pyrdfa3

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

merge.json: index.json covers.json
	python3 scripts/merge_json.py index.json covers.json > $@

index_titles.html: merge.json scripts/templates/index_titles.html scripts/index_new.py
	python3 scripts/index_new.py index_titles.html index_titles.html

index_thesis.html: merge.json scripts/templates/index_thesis.html scripts/index_new.py
	python3 scripts/index_new.py index_thesis.html index_thesis.html

%.cover.jpg: %.pdf 
	gs -dSAFER -r600 -sDEVICE=jpeg -dFirstPage=1 -dLastPage=1 -o $@ $<
	mogrify -resize 640x $@