diff options
-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 \ |