website.make: hardcode languages rather than running untrusted code.

diff --git a/website.make b/website.make
index 4f4c449aab955556909e8bfcd382bfe5d7b66fe1..7d83feeb12ed00fa314d7157c8ed5507a6665f0d 100644 (file)
--- 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)