diff -r 123aa9bc55a7 -r ec99af8284f5 web/ldtplatform/settings.py
--- a/web/ldtplatform/settings.py	Tue Aug 30 16:57:03 2011 +0200
+++ b/web/ldtplatform/settings.py	Wed Aug 31 11:56:04 2011 +0200
@@ -1,5 +1,6 @@
 #@PydevCodeAnalysisIgnore
 import os.path
+import ldtplatform
 # Django settings for project.
 
 DEBUG = True
@@ -37,6 +38,7 @@
 
 LANGUAGES = ( 
     ('fr', ugettext('French')),
+    ('en', ugettext('English')),
 )
 
 
@@ -185,6 +187,8 @@
 
 AUTO_INDEX_AFTER_SAVE = True
 
+WEB_VERSION = ldtplatform.get_version()
+
 from config import *
 
 if not "LOGIN_URL" in locals():
@@ -205,7 +209,6 @@
     GLOBAL_LOG_LEVEL = LOG_LEVEL
 if not "GLOBAL_LOG_HANDLERS" in locals():
     GLOBAL_LOG_HANDLERS = [{'handler':logging.FileHandler(LOG_FILE), 'format':"%(asctime)s - %(levelname)s : %(message)s"}]
-    
 
 # URL prefix for admin media -- CSS, JavaScript and images. Make sure to use a
 # trailing slash.
@@ -218,3 +221,4 @@
 # URL that handles the media served from MEDIA_ROOT.
 if not "MEDIA_URL" in locals():
     MEDIA_URL = BASE_URL + 'static/media/'
+