docs update script

andgineer · Sep 26, 2020 · 3424d7e · 3424d7e
1 parent 3b3a44a
commit 3424d7e
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/docs/update_po.sh b/docs/update_po.sh
@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+#
+# refresh po-file so they are ready to push to weblate for example
+#
+
+# 1st create pot in _build/gettext
+make gettext
+
+# create sphinx locales
+sphinx-intl update -p _build/gettext -l ru_RU