aboutsummaryrefslogtreecommitdiff
path: root/reproduce
AgeCommit message (Expand)AuthorLines
2018-02-15Choice to build final PDF removed from LOCAL settingsMohammad Akhlaghi-19/+14
2018-02-14clean-mmap now a dependency of cleanMohammad Akhlaghi-2/+2
2018-02-14Symbolic link to build directory now permanently addedMohammad Akhlaghi-24/+21
2018-02-14Sanity checks added, local settings now in LOCAL.mk.inMohammad Akhlaghi-29/+80
2018-02-08Initialization results now a .PHONY targetMohammad Akhlaghi-6/+10
2018-02-07First commit to the reproduction pipeline templateMohammad Akhlaghi-0/+347