From fd108cc5fa35a255f4157b8dc34ee850bd09ac5f Mon Sep 17 00:00:00 2001
From: Jan Nieuwenhuizen <janneke@gnu.org>
Date: Fri, 2 Apr 2010 21:36:41 +0200
Subject: [PATCH] website.make: hardcode languages rather than running
 untrusted code.

---
 website.make | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/website.make b/website.make
index 4f4c449aab..7d83feeb12 100644
--- a/website.make
+++ b/website.make
@@ -33,7 +33,8 @@ endif
 
 ################################################################
 OUT=out-website
-WEB_LANGS=$(shell PYTHONPATH=$(top-src-dir)/python python $(top-src-dir)/python/langdefs.py)
+#WEB_LANGS=$(shell PYTHONPATH=$(top-src-dir)/python python $(top-src-dir)/python/langdefs.py)
+WEB_LANGS = fr es de nl ja hu it
 
 TEXI2HTML=ONLY_WEB=1 TOP_SRC_DIR=$(top-src-dir) DEPTH=$(depth) PERL_UNICODE=SD $(TEXI2HTML_PROGRAM)
 
-- 
2.39.5