From acaedb32a49e08fc4e8400eb36660f90d63e0085 Mon Sep 17 00:00:00 2001
From: Graham Percival <graham@percival-music.ca>
Date: Fri, 18 Dec 2009 21:44:13 +0000
Subject: [PATCH] Doc build: add version-specific links for manuals.

---
 VERSION                               |  2 +-
 scripts/build/create-version-itexi.py | 40 +++++++++++++++++++++++++++
 2 files changed, 41 insertions(+), 1 deletion(-)

diff --git a/VERSION b/VERSION
index c365eb9dce..78dbac39d1 100644
--- 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 73a51891f8..3cfbd5d5e0 100644
--- 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)
+
+
+
-- 
2.39.5