diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-07-05 16:18:45 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-07-05 16:18:45 +0100 |
| commit | 5d97210eef4ba7804501c28b0ddeb9ffe1e23064 (patch) | |
| tree | 67d32de68e17fbcde34e22f325efebd6fda7057c /reproduce/software/patches/valgrind-3.15.0-mpi-fix1.patch | |
| parent | 1bc00c9e64bba6ebd4c90301cc2a22f25466f72f (diff) | |
Removing possibly existing paper.bbl before remaking it
Until now, when the bibliography file ('paper.bbl') had a LaTeX-related
error (for example the journal name was a LaTeX macro that isn't defined),
the first 'pdflatex' command that is run before 'biber' would crash, not
allowing the project to reach 'biber'. So the user would have to manually
remove 'paper.bbl' before running './project make'.
With this commit, we remove any possibly existing 'paper.bbl' file before
rebuilding it. Generally, this also helps in keeping things clean during
the generation of the new bibliography.
This bug was found by Mahdieh Nabavi.
Diffstat (limited to 'reproduce/software/patches/valgrind-3.15.0-mpi-fix1.patch')
0 files changed, 0 insertions, 0 deletions