aboutsummaryrefslogtreecommitdiff
path: root/contrib/update-tos.sh
diff options
context:
space:
mode:
Diffstat (limited to 'contrib/update-tos.sh')
-rwxr-xr-xcontrib/update-tos.sh28
1 files changed, 28 insertions, 0 deletions
diff --git a/contrib/update-tos.sh b/contrib/update-tos.sh
new file mode 100755
index 000000000..47d3af778
--- /dev/null
+++ b/contrib/update-tos.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-tos.sh en de fr it
+
+# Error checking on
+set -eu
+echo "Generating TOS for ETag $VERSION"
+
+rm -f sphinx.log sphinx.err
+# We process inputs using Makefile in tos/ directory
+cd tos
+for l in $@
+do
+ mkdir -p $l
+ echo Generating TOS 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/tos.$f $l/${VERSION}.$f
+ done
+done
+cd ..