diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-11-15 13:28:57 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-11-15 13:32:57 +0000 |
commit | fcc77a774f2e34bd9ed6ca4ea0f5577cba967f58 (patch) | |
tree | c06d88b87b8a258fd96edf31819bc6d555455fc4 /reproduce/analysis/config/delete-me-squared-num.conf | |
parent | 9cfb8d30a7e0fc92dc60f4dad30efc7231b363dc (diff) |
Building final PDF: pdf-build-final has to be given an explicit yes
Until now, when the 'pdf-build-final' configuration variable (defined in
'reproduce/analysis/config/pdf-build.conf') was given any string a PDF
would be built. This was very confusing, because people could put a 'no'
and the PDF would still be built!
With this commit, only when this variable has a value of 'yes' will the PDF
be built. If given any other string (or no string at all), it will not
produce a PDF.
This issue was reported by Zahra Sharbaf.
Diffstat (limited to 'reproduce/analysis/config/delete-me-squared-num.conf')
0 files changed, 0 insertions, 0 deletions