Deducteam / Logipedia

An encyclopedia of proofs
56 stars 11 forks source link

[WIP] Rip makefile #19

Closed gabrielhdt closed 4 years ago

gabrielhdt commented 4 years ago

To get rid of the makefile. The new incantation to produce json, assuming that all the dks are in the directory dks (along with the .dkos), and files are exported to export/json

./dk2json -m sttfa -o export/json/ -J export/json -I dks -d dks/