aboutsummaryrefslogtreecommitdiff
path: root/reproduce/config/pipeline/pdf-build.mk
AgeCommit message (Collapse)AuthorLines
2019-04-13Corrected copyright notices and info about adding copyright infoMohammad Akhlaghi-1/+1
Until now, the files where the people were meant to change didn't have a proper copyright notice (for example `Copyright (C) YOUR NAME.'). This was wrong because the license does not convey copyright ownership. So the name of the file's original author must always be included and when people modify it (and add their own copyright-able modifications). With this commit, the file's original author (and email) are added to the copyright notice and when more than one person modified a file, both names have their individual copyright notice. Based on this, the description for adding a copyright notice in `README-hacking.md' has also been modified.
2019-04-07Copyright notice added to all files missing oneMohammad Akhlaghi-0/+2
Until now, for short files, we only had a license notice, not an actual copyright notice. With this commit, a copyright notice has also been added. We use this new command to find these files, suggested by `ineiev@gnu.org'.
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.