aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src/make/top.mk
AgeCommit message (Expand)AuthorLines
2019-02-01Group name is now part of the local configurationMohammad Akhlaghi-14/+19
2019-01-18Sanity check to run the Make with proper group permissionsMohammad Akhlaghi-12/+60
2019-01-02Copyright year updated to 2019Mohammad Akhlaghi-1/+1
2018-11-25Rule of tex/pipeline.tex now defined in paper.mk not top MakefileMohammad Akhlaghi-0/+87