aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2020-05-29 02:48:25 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-05-29 02:48:25 +0100
commit62b8983f25805829cdd02fbc3204cd7676a3e6fc (patch)
tree56f20af5bd9fdf71a754aff44b6afc609fae5a7b /.gitignore
parent59212b82ef374da6374b7d7e8d0367675c58d5aa (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 '.gitignore')
0 files changed, 0 insertions, 0 deletions