buildscripts/add_html_footer.py

   1 #!@PYTHON@
   2
   3 """
   4 Print a nice footer.
   5 """
   6 import re
   7 import os
   8 import time
   9
  10 import langdefs
  11
  12 default_header = r"""
  13 """
  14
  15 default_footer = r'''
  16 <div style="background-color: #e8ffe8; padding: 2; border: #c0ffc0 1px solid;">
  17 <p>
  18 <font size="-1">
  19 This page is for %(package_name)s-%(package_version)s (%(branch_str)s). <br>
  20 </font>
  21 <address><font size="-1">
  22 Report errors to <a href="%(mail_address_url)s">%(mail_address)s</a>.</font></address>
  23 </p>
  24 </div>
  25 '''
  26
  27 header_tag = '<!-- header_tag -->'
  28 footer_tag = '<!-- footer_tag -->'
  29
  30 def _ (s):
  31     return s
  32
  33 language_available = _ ("Other languages: %s.") % "%(language_menu)s"
  34 browser_language = _ ("Using <A HREF='%s'>automatic language selection</A>.") \
  35            % "/web/about/browser-language"
  36
  37 LANGUAGES_TEMPLATE = '''\
  38 <P>
  39  %(language_available)s
  40  <BR>
  41  %(browser_language)s
  42 </P>
  43 ''' % vars ()
  44
  45
  46 html_re = re.compile ('(.*?)(?:[.]([^/.]*))?[.]html$')
  47
  48 def build_pages_dict (filelist):
  49     """Build dictionnary of available translations of each page"""
  50     pages_dict = {}
  51     for f in filelist:
  52         m = html_re.match (f)
  53         if m:
  54             g = m.groups()
  55             if len (g) <= 1 or g[1] == None:
  56                 e = ''
  57             else:
  58                 e = g[1]
  59             if not g[0] in pages_dict.keys():
  60                 pages_dict[g[0]] = [e]
  61             else:
  62                 pages_dict[g[0]].append (e)
  63     return pages_dict
  64
  65
  66 def do_file (prefix, lang_ext, target, header, footer, pages_dict, out_root, name_filter,
  67              package_name, package_version, branch_str, mail_address_url, mail_address):
  68     file_name = langdefs.lang_file_name (prefix, lang_ext, '.html')
  69     in_f = open (file_name)
  70     s = in_f.read()
  71     in_f.close()
  72
  73     s = re.sub ('%', '%%', s)
  74
  75     ### add header
  76     if re.search (header_tag, s) == None:
  77         body = '<BODY BGCOLOR=WHITE TEXT=BLACK>'
  78         s = re.sub ('(?i)<body>', body, s)
  79         if re.search ('(?i)<BODY', s):
  80             s = re.sub ('(?i)<body[^>]*>', body + header, s, 1)
  81         elif re.search ('(?i)<html', s):
  82             s = re.sub ('(?i)<html>', '<HTML>' + header, s, 1)
  83         else:
  84             s = header + s
  85
  86         s = header_tag + '\n' + s
  87
  88         if re.search ('(?i)<!DOCTYPE', s) == None:
  89             doctype = '<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">\n'
  90             s = doctype + s
  91
  92     # remove info's annoying's indication of referencing external document
  93     s = re.sub (' \((lilypond|lilypond-internals|music-glossary)\)</a>',                                  '</a>', s)
  94
  95     # urg
  96     # maybe find first node?
  97     fallback_web_title = '-- --'
  98     m = re.match ('.*?<title>(.*?)</title>', s, re.DOTALL)
  99     if m:
 100         fallback_web_title = m.group (1)
 101     s = re.sub ('@WEB-TITLE@', fallback_web_title, s)
 102
 103     ### add footer
 104     page_flavors = {}
 105     if re.search (footer_tag, s) == None:
 106         if re.search ('(?i)</body', s):
 107             s = re.sub ('(?i)</body>', footer_tag + footer + '\n' + '</BODY>', s, 1)
 108         elif re.search ('(?i)</html', s):
 109             s = re.sub ('(?i)</html>', footer_tag + footer + '\n' + '</HTML>', s, 1)
 110         else:
 111             s += footer_tag + footer + '\n'
 112
 113         # Find available translations of this page.
 114         available = []
 115         missing = []
 116         for l in langdefs.LANGUAGES:
 117             e = l.webext
 118             if lang_ext != e:
 119                 if e in pages_dict[prefix]:
 120                     available.append (l)
 121                 elif lang_ext == '' and l.enabled: # English version of missing translated pages will be written
 122                     missing.append (e)
 123
 124         if target == 'online':
 125             # Strip .html, .png suffix for auto language selection (content
 126             # negotiation).  The menu must keep the full extension, so do
 127             # this before adding the menu.
 128             page_flavors[file_name] = re.sub (
 129                 '''(href|src)=[\'"]([^/][.]*[^.:\'"]*)(.html|.png)(#[^"\']*|)[\'"]''',
 130                 '\\1="\\2\\4"', s)
 131         elif target == 'offline':
 132             if lang_ext == '':
 133                 page_flavors[file_name] = s
 134                 for e in missing:
 135                     page_flavors[langdefs.lang_file_name (prefix, e, '.html')] = re.sub (
 136                         '''href=[\'"]([^/][.]*[^.:\'"]*)(.html)(#[^"\']*|)[\'"]''',
 137                         'href="\\1.' + e + '\\2\\3"', s)
 138             else:
 139                 page_flavors[file_name] = re.sub (
 140                     '''href=[\'"]([^/][.]*[^.:\'"]*)(.html)(#[^"\']*|)[\'"]''',
 141                     'href="\\1.' + lang_ext + '\\2\\3"', s)
 142
 143         # Add menu after stripping: must not have autoselection for language menu.
 144         language_menu = ''
 145         for lang in available:
 146             lang_file = lang.file_name (os.path.basename (prefix), '.html')
 147             if language_menu != '':
 148                 language_menu += ', '
 149             language_menu += '<a href="%s">%s</a>' % (lang_file, lang.name)
 150
 151         languages = ''
 152         if language_menu:
 153             languages = LANGUAGES_TEMPLATE % vars ()
 154
 155         # Put language menu before '</body>' and '</html>' tags
 156         for k in page_flavors.keys():
 157             if re.search ('(?i)</body', page_flavors[k]):
 158                 page_flavors[k] = re.sub ('(?i)</body>', languages + '</BODY>', page_flavors[k], 1)
 159             elif re.search ('(?i)</html', page_flavors[k]):
 160                 page_flavors[k] = re.sub ('(?i)</html>', languages + '</HTML>', page_flavors[k], 1)
 161             else:
 162                 page_flavors[k] += languages
 163     else:
 164         for e in [l.webext for l in langdefs.LANGUAGES]:
 165             if not e in pages_dict[prefix]:
 166                 page_flavors[langdefs.lang_file_name (prefix, e, '.html')] = s
 167
 168     for k in page_flavors.keys():
 169         page_flavors[k] = page_flavors[k] % vars ()
 170
 171         out_f = open (os.path.join (out_root, name_filter (k)), 'w')
 172         out_f.write (page_flavors[k])
 173         out_f.close()
 174
 175
 176 def add_html_footer (package_name = '',
 177                      package_version = '',
 178                      header = default_header,
 179                      footer = default_footer,
 180                      target = 'offline',
 181                      mail_address = '(address unknown)',
 182                      pages_dict = {},
 183                      out_root = '',
 184                      name_filter = lambda s: s):
 185     """Add header, footer to a number of HTML files
 186
 187     Arguments:
 188      package_name=NAME         set package_name to NAME
 189      package_version=VERSION   set package version to VERSION
 190      header=TEXT               use TEXT as header
 191      footer=TEXT               use TEXT as footer
 192      targets=offline|online    set page processing depending on the target
 193           offline is for reading HTML pages locally
 194           online is for hosting the HTML pages on a website with content
 195             negotiation
 196      mail_address              set \"Report errors to\" link
 197      pages_dict                a dictionnary returned by build_pages_dict()
 198      out_root                  a path prefix where to write HTML pages
 199      name_filter               a HTML file name filter
 200     """
 201     localtime = time.strftime ('%c %Z', time.localtime (time.time ()))
 202
 203     if re.search ("http://", mail_address):
 204         mail_address_url = mail_address
 205     else:
 206         mail_address_url= 'mailto:' + mail_address
 207
 208     versiontup = package_version.split ('.')
 209     branch_str = 'stable-branch'
 210     if int ( versiontup[1]) %  2:
 211         branch_str = 'development-branch'
 212
 213     for page, ext_list in pages_dict.items ():
 214         for e in ext_list:
 215             do_file (page, e, target, header, footer, pages_dict, out_root, name_filter,
 216                      package_name, package_version, branch_str, mail_address_url, mail_address)
 217         # if the page is translated, a .en.html symlink is necessary for content negotiation
 218         if target == 'online' and ext_list != ['']:
 219             os.symlink (os.path.basename (page) + '.html', os.path.join (out_root, name_filter (page + '.en.html')))