summaryrefslogtreecommitdiff
path: root/render_locally
diff options
context:
space:
mode:
Diffstat (limited to 'render_locally')
-rwxr-xr-xrender_locally5
1 files changed, 4 insertions, 1 deletions
diff --git a/render_locally b/render_locally
index ba0dd9d8..f4a249a8 100755
--- a/render_locally
+++ b/render_locally
@@ -2,12 +2,15 @@
# Render the pages of this repository.
-# Written by Thomas Schwinge <tschwinge@gnu.org>
+# Written by Thomas Schwinge <tschwinge@gnu.org>.
# See `contributing/web_pages' for further information.
export ROOT && ROOT=$(readlink -f "$(dirname "$0")") &&
+# Don't translate.
+export LC_MESSAGES && LC_MESSAGES=C &&
+
case $1 in
--official)
# Use this for rendering the set of pages which are to be installed under