Doc build: add version-specific links for manuals.

diff --git a/VERSION b/VERSION
index c365eb9dceb30d2ec67820c7b6980b68263293b4..78dbac39d1bddd8122732a8d06c61273c49ff8d7 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -4,4 +4,4 @@ MINOR_VERSION=13
 PATCH_LEVEL=10
 MY_PATCH_LEVEL=
 VERSION_STABLE=2.12.2
-VERSION_DEVEL=2.13.10
+VERSION_DEVEL=2.13.9

diff --git a/scripts/build/create-version-itexi.py b/scripts/build/create-version-itexi.py
index 73a51891f809fa76353a349d340f1d1ed273b4ec..3cfbd5d5e05e40bc12387812e94d660a34732e7e 100644 (file)
--- a/scripts/build/create-version-itexi.py
+++ b/scripts/build/create-version-itexi.py
@@ -3,6 +3,7 @@
 
 import sys
 import os
+import glob
 
 #print "create-version-itexi.py"
 
@@ -14,6 +15,14 @@ myDir = os.path.dirname(sys.argv[0])
 topDir = os.path.join(os.path.abspath(myDir)+os.sep+'..'+os.sep+'..'+os.sep)
 topDir = os.path.abspath( topDir )
 
+# TODO: this might be useful for other scripts; can we make it available?
+manuals = map(lambda x: os.path.splitext(x)[0],
+              map(os.path.basename,
+                  glob.glob(os.path.join(topDir,'Documentation', '*.te??'))))
+manuals = map(lambda x: 'glossary' if x=='music-glossary' else x, manuals)
+manuals.append('internals')
+
+
 version_file_path = os.path.join(topDir, "VERSION")
 
 version_contents = open(version_file_path).readlines()
@@ -70,14 +79,45 @@ def make_all_downloads(macroName, version):
        make_download("download"+macroName+"Windows", "mingw/",
                "mingw.exe", version, "1", "Windows")
 
+def make_ver_link(macroname, version, url, linktext):
+       string = "@uref{"
+       # TODO: generalize this
+       if (version[:4] == '2.13'):
+               string += '../../v2.13/'
+       if (version[:4] == '2.12'):
+               string += '../../v2.12/'
+       string += url
+       string += ","
+       string += linktext
+       string += "}"
+       make_macro(macroname, string)
+
+def make_manual_links(name, version):
+       for manual in manuals:
+               make_ver_link("manual"+name+manual.capitalize()+'Pdf', version,
+                         manual + '.pdf', manual+'.pdf')
+               make_ver_link("manual"+name+manual.capitalize()+'Split', version,
+                         manual + ' (split HTML)', manual+'/')
+               make_ver_link("manual"+name+manual.capitalize()+'Big', version,
+                         manual + ' (big HTML)', manual+'-one-big-page.html')
 
+
+print "@c ************************ Version numbers ************"
 make_macro("versionStable", VERSION_STABLE)
 make_macro("versionDevel", VERSION_DEVEL)
 
+print "@c ************************ Download binaries ************"
 make_all_downloads("Stable", VERSION_STABLE)
 make_all_downloads("Devel", VERSION_DEVEL)
 
+print "@c ************************ Download source ************"
 # FIXME: icky hard-coding!  -gp
 make_download_source("downloadStableSource", "v2.12", VERSION_STABLE)
 make_download_source("downloadDevelSource", "v2.13", VERSION_DEVEL)
 
+print "@c ************************ Manual links ************"
+make_manual_links("Stable", VERSION_STABLE)
+make_manual_links("Devel", VERSION_DEVEL)
+
+
+