From f4c6033331ff9ffcb9dcf8883b948927151aabff Mon Sep 17 00:00:00 2001
From: Phil Holmes <mail@philholmes.net>
Date: Mon, 24 Jun 2013 16:48:20 +0100
Subject: [PATCH] Adds version number to web page side bar (Issue 3367)

---
 Documentation/lilypond-texi2html.init | 2 +-
 python/auxiliar/postprocess_html.py   | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/Documentation/lilypond-texi2html.init b/Documentation/lilypond-texi2html.init
index 928366317d..1cc6671c33 100644
--- a/Documentation/lilypond-texi2html.init
+++ b/Documentation/lilypond-texi2html.init
@@ -1682,7 +1682,7 @@ sub lilypond_print_toc_div ($$)
 
       print $fh '<h4 class="toc_header"> ' . &$anchor('',
                                     $Texi2HTML::HREF{'Top'},
-                                    $topname,
+                                    $topname . " <!-- Sidebar Version Tag  --> ",
                                     'title="Start of the manual"'
                                    ) . "</h4>\n";
     }
diff --git a/python/auxiliar/postprocess_html.py b/python/auxiliar/postprocess_html.py
index 538f79a798..7e379dcbb8 100644
--- a/python/auxiliar/postprocess_html.py
+++ b/python/auxiliar/postprocess_html.py
@@ -57,6 +57,7 @@ web_footer = '''
 footer_name_version = _doc ('This page is for %(package_name)s-%(package_version)s (%(branch_str)s).')
 # ugh, must not have "_doc" in strings because it is naively replaced with "_" in hacked gettext process
 footer_report_links = _doc ('We welcome your aid; please <a href="%(help_us_url)s">help us</a> by reporting errors to our <a href="%(mail_address_url)s">bug list</a>.')
+sidebar_version = _doc (' v%(package_version)s (%(branch_str)s).')
 
 
 mail_address = 'http://post.gmane.org/post.php?group=gmane.comp.gnu.lilypond.bugs'
@@ -364,6 +365,9 @@ def process_html_files (package_name = '',
                 s = hack_urls (s, prefix, target, bool (int (versiontup[1]) %  2))
                 s = add_header (s, prefix)
 
+                ### add sidebar information
+                s = s.replace ('<!-- Sidebar Version Tag  -->', sidebar_version)
+
                 ### add footer
                 if footer_tag_re.search (s) == None:
                     if 'web' in file_name:
-- 
2.39.5