diff options
| -rwxr-xr-x | render_locally | 5 |
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 |