From f1cbc109f7cb6908469f1b8de5a10accff95244e Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Fri, 7 Feb 2020 00:54:01 +0100
Subject: add proper i18n for pp

---
 contrib/update-pp.sh | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100755 contrib/update-pp.sh

(limited to 'contrib/update-pp.sh')

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 ..
-- 
cgit v1.2.3