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 $@ anomolous-faces/pdf/Publication-POD_Thesis_Max-Franklin.cover.jpg: anomolous-faces/pdf/Publication-POD_Thesis_Max-Franklin.pdf gs -dSAFER -r600 -sDEVICE=jpeg -dFirstPage=3 -dLastPage=3 -o $@ $< mogrify -resize 640x $@