diff options
| author | Florian Dold <florian@dold.me> | 2024-03-04 20:32:15 +0100 |
|---|---|---|
| committer | Florian Dold <florian@dold.me> | 2024-03-04 20:32:15 +0100 |
| commit | 1f586ef108a57502d699d2c5501ea5d1ad9464cd (patch) | |
| tree | 9e1c152cc9356fafc1a45205cc9f6e14e6d6212f | |
| parent | 649d5de067fc76ef924792e07747bb5b3691711b (diff) | |
-log
| -rwxr-xr-x | contrib/taler-terms-generator | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/taler-terms-generator b/contrib/taler-terms-generator index 80784fa9e..89fdbb775 100755 --- a/contrib/taler-terms-generator +++ b/contrib/taler-terms-generator @@ -295,6 +295,7 @@ do || failcat "${BUILDDIR}/md-sphinx.log" mv "${BUILDDIR}/md/${VERSION_BASENAME}.md" "${OUTPUT}/${LANGUAGE}/${VERSION_BASENAME}.md" + echo "$VERSION_BASENAME PDF ($LANGUAGE)..." 1>&2 mkdir -p "${BUILDDIR}/pdf/" # Convert the generated Markdown (!) to PDF. pandoc \ |