diff options
| author | Florian Dold <florian@dold.me> | 2023-10-16 21:59:14 +0200 |
|---|---|---|
| committer | Florian Dold <florian@dold.me> | 2023-10-16 21:59:14 +0200 |
| commit | ec060fd33a0b0e3747495d9bf11dbb7e6d3933a8 (patch) | |
| tree | d439f6707c49806920daa8d0963881fb5a17a2d7 /contrib | |
| parent | cea571c6e74ee045503ede7e102f59cf5f7d8899 (diff) | |
-prevent latexmk from hanging
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/taler-terms-generator.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/contrib/taler-terms-generator.in b/contrib/taler-terms-generator.in index ab5470bc7..33c4bed35 100755 --- a/contrib/taler-terms-generator.in +++ b/contrib/taler-terms-generator.in @@ -280,10 +280,12 @@ do "${BUILDDIR}" \ "${BUILDDIR}/pdf" \ &> "${BUILDDIR}/pdf-sphinx.log" + # We pipe in /dev/null in case latexmk + # asks for input and would hang otherwise. make \ -C "${BUILDDIR}/pdf" \ all-pdf \ - &> "${BUILDDIR}/pdf-latex.log" + < /dev/null &> "${BUILDDIR}/pdf-latex.log" mv "${BUILDDIR}/pdf/${VERSION_BASENAME}.pdf" "${OUTPUT}/${LANGUAGE}/${VERSION_BASENAME}.pdf" done |