diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-15 12:06:31 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-15 12:17:05 +0100 |
| commit | e45ac9f074a62a0dab26e4de86e4c97458384d18 (patch) | |
| tree | 40a2d6ae2c0d132a238f894f14a1df1ef517ea55 /reproduce/config | |
| parent | 1d96c2922549e68922a86d307589f50a4c2b6e1b (diff) | |
Choice to build final PDF removed from LOCAL settings
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.
Diffstat (limited to 'reproduce/config')
| -rw-r--r-- | reproduce/config/pipeline/LOCAL.mk.in | 19 | ||||
| -rw-r--r-- | reproduce/config/pipeline/pdf-build.mk | 14 |
2 files changed, 14 insertions, 19 deletions
diff --git a/reproduce/config/pipeline/LOCAL.mk.in b/reproduce/config/pipeline/LOCAL.mk.in index e5a9f96..896df2f 100644 --- a/reproduce/config/pipeline/LOCAL.mk.in +++ b/reproduce/config/pipeline/LOCAL.mk.in @@ -48,22 +48,3 @@ SURVEY = reproduce/SURVEY # more easy: the contents of the build directory do not need to be backed # up since they can be reproduced and they can be large. BDIR = reproduce/BDIR - - - - - -# Make the final PDF? -# ------------------- -# -# During the testing a pipeline, it is usually not necessary to build -# the PDF file (which makes a lot of output lines on the command-line -# and can make it hard to find the commands and possible errors (and -# their outputs). Also, in some cases, only the produced results may -# be of interest and not the final PDF, so LaTeX (and its necessary -# packages) may not be installed. -# -# If this variable is given any string, a PDF will be made with -# LaTeX. Otherwise, a notice will just printed that for now, no PDF -# will be created. -BUILD-FINAL-PDF = yes diff --git a/reproduce/config/pipeline/pdf-build.mk b/reproduce/config/pipeline/pdf-build.mk new file mode 100644 index 0000000..504d0bd --- /dev/null +++ b/reproduce/config/pipeline/pdf-build.mk @@ -0,0 +1,14 @@ +# Make the final PDF? +# ------------------- +# +# During the testing a pipeline, it is usually not necessary to build +# the PDF file (which makes a lot of output lines on the command-line +# and can make it hard to find the commands and possible errors (and +# their outputs). Also, in some cases, only the produced results may +# be of interest and not the final PDF, so LaTeX (and its necessary +# packages) may not be installed. +# +# If this variable is given any string, a PDF will be made with +# LaTeX. Otherwise, a notice will just printed that for now, no PDF +# will be created. +pdf-build-final = yes |