You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
|
|
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
|
|
|
|
|
|
