A Makefile to update the dataset repo (mostly -- doesn't do any git operations)
A Makefile to generate results (e.g., numbers, but any LaTeX should work) into .tex files under $PAPER_ROOT/generated using scripts in paper-scripts in this repo, useful for keeping numbers in the paper up-to-date
Some scripts for the above Makefile to use
Arguably these scripts and Makefiles should be distributed differently between the repos... But I think it's best to have them all in one place, and it might as well be here.
TODO: There are quite a few missing dependencies in the paper-scripts scripts -- e.g., some assume that everything has already been copied into the local dataset repo by the first Makefile.
Adds:
datasetrepo (mostly -- doesn't do any git operations).texfiles under$PAPER_ROOT/generatedusing scripts inpaper-scriptsin this repo, useful for keeping numbers in the paper up-to-dateArguably these scripts and Makefiles should be distributed differently between the repos... But I think it's best to have them all in one place, and it might as well be here.
TODO: There are quite a few missing dependencies in the
paper-scriptsscripts -- e.g., some assume that everything has already been copied into the localdatasetrepo by the first Makefile.