diff options
author | Christian Grothoff <christian@grothoff.org> | 2020-02-11 15:40:37 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2020-02-11 15:40:37 +0100 |
commit | 3ad698d01865c9f1b5c5aadc2f4d8b0a3658b81c (patch) | |
tree | 671de5acc0a13cafe636bf1e220496a5882a8b74 /contrib/update-pp.sh | |
parent | de0d987e34d426f6ed3593840078442191255587 (diff) | |
parent | cdaf1ce69b5fb56f09bbdc00942b03f039710614 (diff) | |
download | exchange-3ad698d01865c9f1b5c5aadc2f4d8b0a3658b81c.tar.xz |
merging
Diffstat (limited to 'contrib/update-pp.sh')
-rwxr-xr-x | contrib/update-pp.sh | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/contrib/update-pp.sh b/contrib/update-pp.sh new file mode 100755 index 000000000..db31ba18a --- /dev/null +++ b/contrib/update-pp.sh @@ -0,0 +1,28 @@ +#!/bin/sh +# This file is in the public domain + +# Should be called with the list of languages to generate, i.e. +# $ ./update-pp.sh en de fr it + +# Error checking on +set -eu +echo "Generating PP for ETag $VERSION" + +rm -f sphinx.log sphinx.err +# We process inputs using Makefile in tos/ directory +cd pp +for l in $@ +do + mkdir -p $l + echo Generating PP for language $l + # 'f' is for the supported formats, note that the 'make' target + # MUST match the file extension. + for f in html txt pdf epub xml + do + rm -rf _build + echo " Generating format $f" + make -e SPHINXOPTS="-D language='$l'" $f >>sphinx.log 2>>sphinx.err < /dev/null + mv _build/$f/pp.$f $l/${VERSION}.$f + done +done +cd .. |