Merge "docs: add doc-pot-filter.sh to include deploy-guide in translation"

2026-05-13 23:32:47 +00:00
parent e5f2a51eb8 d0565935ec
commit f9eea652e6
2 changed files with 9 additions and 0 deletions
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+set -e
+
+# Extract messages from the deploy-guide
+sphinx-build -b gettext \
+    doc/source/deploy-guide/source \
+    doc/build/gettext/
@@ -0,0 +1 @@
+scripts