Update hard-coded version number.

Yes, we still have a FIXME to make this non-hard-coded.  Patches
welcome.

diff --git a/scripts/build/create-weblinks-itexi.py b/scripts/build/create-weblinks-itexi.py
index 5685102a6bad034b1d68f18519335825dd5b37c2..e498af2eabad5d685c755bdff09f54eb32787260 100644 (file)
--- a/scripts/build/create-weblinks-itexi.py
+++ b/scripts/build/create-weblinks-itexi.py
@@ -490,7 +490,7 @@ print "@c ************************ Download source ************"
 # FIXME: icky hard-coding!  -gp
 for lang in langs:
     print "@c *********", lang, "***"
-    make_download_source("downloadStableSource","v2.12",VERSION_STABLE,lang)
+    make_download_source("downloadStableSource","v2.14",VERSION_STABLE,lang)
     make_download_source("downloadDevelSource","v2.13",VERSION_DEVEL,lang)
 
 print "@c ************************ Manual links ************"