aboutsummaryrefslogtreecommitdiff
path: root/reproduce/config/pipeline/pdf-build.mk
AgeCommit message (Collapse)AuthorLines
2019-04-01Added short copyright notice on configuration filesMohammad Akhlaghi-8/+13
A short, all-permisive copyright notice was added to the configuration files that were missing one.
2018-02-15Choice to build final PDF removed from LOCAL settingsMohammad Akhlaghi-0/+14
The previous change where we had set the building of the PDF as a local (and thus not version controlled) setting was not good, because different commits might be made without the high-level preparations for the final PDF (especially during the initial/testing phases of a research). Therefore, if the runner of the pipeline is ignorant to this, they may hit some errors in LaTeX which can be frustrating. To have a clean reproduction, it is thus necessary to have the choice of pdf-building under version control along with the rest of the pipeline.