diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-05-29 02:48:25 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-05-29 02:48:25 +0100 |
commit | 62b8983f25805829cdd02fbc3204cd7676a3e6fc (patch) | |
tree | 56f20af5bd9fdf71a754aff44b6afc609fae5a7b /reproduce/analysis/make | |
parent | 59212b82ef374da6374b7d7e8d0367675c58d5aa (diff) |
pdftotext only called if present in system, minor edit
David and Raul had both reported that because 'pdftotext' wasn't available
on their system, the project failed (even though the PDF was built!). So
with this commit, we first check if the system has 'pdftotext' and call it
only if its is available.
Some minor edits were made, building upon Boud's previous commit.
Diffstat (limited to 'reproduce/analysis/make')
0 files changed, 0 insertions, 0 deletions