Adds version number to web page side bar (Issue 3367) (issue 10506043)

[PhilEHolmes]

Reviewers: ,

Message:
Please review

Description:
Adds version number to web page side bar (Issue 3367)

Please review this at https://codereview.appspot.com/10506043/

Affected files:
  M Documentation/lilypond-texi2html.init
  M python/auxiliar/postprocess_html.py


Index: Documentation/lilypond-texi2html.init
diff --git a/Documentation/lilypond-texi2html.init  
b/Documentation/lilypond-texi2html.init
index  
928366317d497e3420a050f3ccaab3d0e65c0068..1cc6671c330348829bab3935e7d8a7027debaae2  
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";
     }
Index: python/auxiliar/postprocess_html.py
diff --git a/python/auxiliar/postprocess_html.py  
b/python/auxiliar/postprocess_html.py
index  
538f79a7988d8142241fd8124e79db6c95b4370e..d9a91fa37a8738afe62e3662e1482319796914b6  
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'
@@ -363,6 +364,9 @@ def process_html_files (package_name = '',
                 s = s.replace ('%', '%%')
                 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: