python/auxiliar/postprocess_html.py

   1 #!@PYTHON@
   2
   3 """
   4 Postprocess HTML files:
   5 add footer, tweak links, add language selection menu.
   6 """
   7 import re
   8 import os
   9 import time
  10 import operator
  11
  12 import langdefs
  13
  14 # This is to try to make the docball not too big with almost duplicate files
  15 # see process_links()
  16 non_copied_pages = ['Documentation/out-www/notation-big-page',
  17                     'Documentation/out-www/internals-big-page',
  18                     'Documentation/out-www/learning-big-page',
  19                     'Documentation/out-www/usage-big-page',
  20                     'Documentation/out-www/music-glossary-big-page',
  21                     'Documentation/out-www/contributor',
  22                     'Documentation/out-www/changes-big-page',
  23                     'Documentation/out-www/essay-big-page',
  24                     'Documentation/out-www/extending-big-page',
  25                     'Documentation/out-www/snippets',
  26                     'out-www/examples',
  27                     'Documentation/topdocs',
  28                     'Documentation/bibliography',
  29                     'Documentation/out-www/THANKS',
  30                     'Documentation/out-www/DEDICATION',
  31                     'input/']
  32
  33 def _doc (s):
  34     return s
  35
  36 header = r"""
  37 """
  38
  39 footer = '''
  40 <div class="footer">
  41 <p class="footer_version">
  42 %(footer_name_version)s
  43 </p>
  44 <p class="footer_report">
  45 %(footer_report_links)s
  46 </p>
  47 </div>
  48 '''
  49
  50 web_footer = '''
  51 <div class="footer">
  52 </div>
  53 '''
  54
  55 footer_name_version = _doc ('This page is for %(package_name)s-%(package_version)s (%(branch_str)s).')
  56 # ugh, must not have "_doc" in strings because it is naively replaced with "_" in hacked gettext process
  57 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>.')
  58
  59
  60 mail_address = 'http://post.gmane.org/post.php?group=gmane.comp.gnu.lilypond.bugs'
  61 help_us_url = 'http://lilypond.org/help-us.html'
  62
  63 header_tag = '<!-- header_tag -->'
  64 header_tag_re = re.compile (header_tag)
  65
  66 footer_tag = '<!-- footer_tag -->'
  67 footer_tag_re = re.compile (footer_tag)
  68
  69 lang_available = _doc ("Other languages: %s.")
  70 browser_lang = _doc ('About <A HREF="%s">automatic language selection</A>.')
  71 browser_language_url = "/web/about/browser-language"
  72
  73 LANGUAGES_TEMPLATE = '''
  74 <p id="languages">
  75  %(language_available)s
  76  <br>
  77  %(browser_language)s
  78 </p>
  79 '''
  80
  81
  82 html_re = re.compile ('(.*?)(?:[.]([^/.]*))?[.]html$')
  83 pages_dict = {}
  84
  85 def build_pages_dict (filelist):
  86     """Build dictionary of available translations of each page"""
  87     global pages_dict
  88     for f in filelist:
  89         m = html_re.match (f)
  90         if m:
  91             g = m.groups()
  92             if len (g) <= 1 or g[1] == None:
  93                 e = ''
  94             else:
  95                 e = g[1]
  96             if not g[0] in pages_dict:
  97                 pages_dict[g[0]] = [e]
  98             else:
  99                 pages_dict[g[0]].append (e)
 100
 101 def source_links_replace (m, source_val):
 102     return 'href="' + os.path.join (source_val, m.group (1)) + '"'
 103
 104 # More hardcoding, yay!
 105 split_docs_re = re.compile('(Documentation/out-www/(automated-engraving|essay|notation|changes|extending|music-glossary|usage|web|learning|snippets|contributor))/')
 106 lily_examples_re = re.compile ('(href|src)="(ly-examples/.*?)"')
 107 lily_snippets_re = re.compile ('(href|src)="([0-9a-f]{2}/lily-.*?)"')
 108 pictures_re = re.compile ('src="(pictures/.*?)"')
 109
 110 docindex_link_re = re.compile (r'href="index.html"')
 111 manuals_page_link_re = re.compile (r'href="((?:\.\./)+)Documentation/web/manuals')
 112
 113 ## Windows does not support symlinks.
 114 # This function avoids creating symlinks for split HTML manuals
 115 # Get rid of symlinks in GNUmakefile.in (local-WWW-post)
 116 # this also fixes missing PNGs only present in translated docs
 117 def hack_urls (s, prefix, target, is_development_branch):
 118     depth = (prefix.count ('/') - 1) * '../'
 119     # fix css links
 120     s = css_re.sub ('<link \\1href="%(rel)sDocumentation/css/\\2"\\3>' % {'rel': depth}, s)
 121     # fix image links
 122     if split_docs_re.match (prefix):
 123         s = lily_examples_re.sub ('\\1="../\\2"', s)
 124         s = lily_snippets_re.sub ('\\1="../\\2"', s)
 125         s = pictures_re.sub ('src="../\\1"', s)
 126
 127     # we also need to replace in the lsr, which is already processed above!
 128     if 'input/' in prefix or 'Documentation/topdocs' in prefix or \
 129             'Documentation/contributor' in prefix:
 130         # fix the link from the regtest, lsr and topdoc pages to the doc index
 131         # (rewrite prefix to obtain the relative path of the doc index page)
 132         rel_link = re.sub (r'out-www/.*$', '', prefix)
 133         rel_link = re.sub (r'[^/]*/', '../', rel_link)
 134         if 'input/regression' in prefix or 'Documentation/contributor' in prefix:
 135             indexfile = "Documentation/devel"
 136         else:
 137             indexfile = "index"
 138         s = docindex_link_re.sub ('href="' + rel_link + indexfile + '.html\"', s)
 139     # make the "return to doc index" work with the online website.
 140     if target == 'online':
 141         if (('Documentation/contributor' in prefix) or
 142             is_development_branch):
 143             manuals_page = 'development'
 144         else:
 145             manuals_page = 'manuals'
 146         s = manuals_page_link_re.sub (r'href="../../\1website/%s'
 147                                       % manuals_page, s)
 148     source_path = os.path.join (os.path.dirname (prefix), 'source')
 149     if not os.path.islink (source_path):
 150         return s
 151     source_val = os.readlink (source_path)
 152     return re.sub ('href="source/(.*?)"', lambda m: source_links_replace (m, source_val), s)
 153
 154 body_tag_re = re.compile ('(?i)<body([^>]*)>')
 155 html_tag_re = re.compile ('(?i)<html>')
 156 doctype_re = re.compile ('(?i)<!DOCTYPE')
 157 doctype = '<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">\n'
 158 css_re = re.compile ('(?i)<link ([^>]*)href="[^">]*?(lilypond.*\.css)"([^>]*)>')
 159 end_head_tag_re = re.compile ('(?i)</head>')
 160 css_link = """    <link rel="stylesheet" type="text/css" title="Default design" href="%(rel)sDocumentation/css/lilypond-manuals.css">
 161     <!--[if lte IE 7]>
 162     <link href="%(rel)sDocumentation/css/lilypond-ie-fixes.css" rel="stylesheet" type="text/css">
 163     <![endif]-->
 164 """
 165
 166
 167 def add_header (s, prefix):
 168     """Add header (<body>, doctype and CSS)"""
 169     if header_tag_re.search (s) == None:
 170         body = '<body\\1>'
 171         (s, n) = body_tag_re.subn (body + header, s, 1)
 172         if not n:
 173             (s, n) = html_tag_re.subn ('<html>' + header, s, 1)
 174             if not n:
 175                 s = header + s
 176
 177         if doctype_re.search (s) == None:
 178             s = doctype + header_tag + '\n' + s
 179
 180         if css_re.search (s) == None:
 181             depth = (prefix.count ('/') - 1) * '../'
 182             s = end_head_tag_re.sub ((css_link % {'rel': depth}) + '</head>', s)
 183     return s
 184
 185 title_tag_re = re.compile ('.*?<title>(.*?)</title>', re.DOTALL)
 186 AT_web_title_re = re.compile ('@WEB-TITLE@')
 187
 188 def add_title (s):
 189     # urg
 190     # maybe find first node?
 191     fallback_web_title = '-- --'
 192     m = title_tag_re.match (s)
 193     if m:
 194         fallback_web_title = m.group (1)
 195     s = AT_web_title_re.sub (fallback_web_title, s)
 196     return s
 197
 198 footer_insert_re = re.compile ('<!--\s*FOOTER\s*-->')
 199 end_body_re = re.compile ('(?i)</body>')
 200 end_html_re = re.compile ('(?i)</html>')
 201
 202 def add_footer (s, footer_text):
 203     """add footer"""
 204     (s, n) = footer_insert_re.subn (footer_text + '\n' + '<!-- FOOTER -->', s, 1)
 205     if not n:
 206         (s, n) = end_body_re.subn (footer_text + '\n' + '</body>', s, 1)
 207     if not n:
 208         (s, n) = end_html_re.subn (footer_text + '\n' + '</html>', s, 1)
 209     if not n:
 210         s += footer_text + '\n'
 211     return s
 212
 213 def find_translations (prefix, lang_ext):
 214     """find available translations of a page"""
 215     available = []
 216     missing = []
 217     for l in langdefs.LANGUAGES:
 218         e = l.webext
 219         if lang_ext != e:
 220             if e in pages_dict[prefix]:
 221                 available.append (l)
 222             elif lang_ext == '' and l.enabled and reduce (operator.and_,
 223                                                           [not prefix.startswith (s)
 224                                                            for s in non_copied_pages]):
 225                 # English version of missing translated pages will be written
 226                 missing.append (e)
 227     return available, missing
 228
 229 online_links_re = re.compile ('''(href|src)=['"]\
 230 ((?!Compiling-from-source.html")[^/][.]*[^.:'"]*)\
 231 ([.]html)(#[^"']*|)['"]''')
 232 offline_links_re = re.compile ('href=[\'"]\
 233 ((?!Compiling-from-source.html")(?![.]{2}/contributor)[^/][.]*[^.:\'"]*)([.]html)(#[^"\']*|)[\'"]')
 234 big_page_name_re = re.compile ('''(.+?)-big-page''')
 235
 236 def process_i18n_big_page_links (match, prefix, lang_ext):
 237     big_page_name = big_page_name_re.match (match.group (1))
 238     if big_page_name:
 239         destination_path = os.path.normpath (os.path.join (os.path.dirname (prefix),
 240                                                            big_page_name.group (0)))
 241         if not (destination_path in pages_dict and
 242                 lang_ext in pages_dict[destination_path]):
 243             return match.group (0)
 244     return 'href="' + match.group (1) + '.' + lang_ext \
 245         + match.group (2) + match.group (3) + '"'
 246
 247 def process_links (s, prefix, lang_ext, file_name, missing, target):
 248     page_flavors = {}
 249     if target == 'online':
 250         # Strip .html, suffix for auto language selection (content
 251         # negotiation).  The menu must keep the full extension, so do
 252         # this before adding the menu.
 253         page_flavors[file_name] = \
 254             [lang_ext, online_links_re.sub ('\\1="\\2\\4"', s)]
 255     elif target == 'offline':
 256         # in LANG doc index: don't rewrite .html suffixes
 257         # as not all .LANG.html pages exist;
 258         # the doc index should be translated and contain links with the right suffixes
 259         # idem for NEWS
 260         if prefix in ('Documentation/out-www/index', 'Documentation/topdocs/out-www/NEWS'):
 261             page_flavors[file_name] = [lang_ext, s]
 262         elif lang_ext == '':
 263             page_flavors[file_name] = [lang_ext, s]
 264             for e in missing:
 265                 page_flavors[langdefs.lang_file_name (prefix, e, '.html')] = \
 266                     [e, offline_links_re.sub ('href="\\1.' + e + '\\2\\3"', s)]
 267         else:
 268             # For saving bandwidth and disk space, we don't duplicate big pages
 269             # in English, so we must process translated big pages links differently.
 270             if 'big-page' in prefix:
 271                 page_flavors[file_name] = \
 272                     [lang_ext,
 273                      offline_links_re.sub \
 274                          (lambda match: process_i18n_big_page_links (match, prefix, lang_ext),
 275                           s)]
 276             else:
 277                 page_flavors[file_name] = \
 278                     [lang_ext,
 279                      offline_links_re.sub ('href="\\1.' + lang_ext + '\\2\\3"', s)]
 280     return page_flavors
 281
 282 def add_menu (page_flavors, prefix, available, target, translation):
 283     for k in page_flavors:
 284         language_menu = ''
 285         languages = ''
 286         if page_flavors[k][0] != '':
 287             t = translation[page_flavors[k][0]]
 288         else:
 289             t = _doc
 290         for lang in available:
 291             lang_file = lang.file_name (os.path.basename (prefix), '.html')
 292             if language_menu != '':
 293                 language_menu += ', '
 294             language_menu += '<a href="%s">%s</a>' % (lang_file, t (lang.name))
 295         if target == 'offline':
 296             browser_language = ''
 297         elif target == 'online':
 298             browser_language = t (browser_lang) % browser_language_url
 299         if language_menu:
 300             language_available = t (lang_available) % language_menu
 301             languages = LANGUAGES_TEMPLATE % vars ()
 302         page_flavors[k][1] = add_footer (page_flavors[k][1], languages)
 303     return page_flavors
 304
 305
 306 def process_html_files (package_name = '',
 307                         package_version = '',
 308                         target = 'offline',
 309                         name_filter = lambda s: s):
 310     """Add header, footer and tweak links to a number of HTML files
 311
 312     Arguments:
 313      package_name=NAME         set package_name to NAME
 314      package_version=VERSION   set package version to VERSION
 315      targets=offline|online    set page processing depending on the target
 316           offline is for reading HTML pages locally
 317           online is for hosting the HTML pages on a website with content
 318             negotiation
 319      name_filter               a HTML file name filter
 320     """
 321     translation = langdefs.translation
 322     localtime = time.strftime ('%c %Z', time.localtime (time.time ()))
 323
 324     if "http://" in mail_address:
 325         mail_address_url = mail_address
 326     else:
 327         mail_address_url= 'mailto:' + mail_address
 328
 329     versiontup = package_version.split ('.')
 330     branch_str = _doc ('stable-branch')
 331     if int (versiontup[1]) %  2:
 332         branch_str = _doc ('development-branch')
 333
 334     # Initialize dictionaries for string formatting
 335     subst = {}
 336     subst[''] = dict ([i for i in globals ().items() if type (i[1]) is str])
 337     subst[''].update (dict ([i for i in locals ().items() if type (i[1]) is str]))
 338     for l in translation:
 339         e = langdefs.LANGDICT[l].webext
 340         if e:
 341             subst[e] = {}
 342             for name in subst['']:
 343                 subst[e][name] = translation[l] (subst[''][name])
 344     # Do deeper string formatting as early as possible,
 345     # so only one '%' formatting pass is needed later
 346     for e in subst:
 347         subst[e]['footer_name_version'] = subst[e]['footer_name_version'] % subst[e]
 348         subst[e]['footer_report_links'] = subst[e]['footer_report_links'] % subst[e]
 349
 350     for prefix, ext_list in pages_dict.items ():
 351         for lang_ext in ext_list:
 352             file_name = langdefs.lang_file_name (prefix, lang_ext, '.html')
 353             source_time = os.path.getmtime(file_name)
 354             dest_time = 0
 355             if os.path.exists(name_filter(file_name)):
 356                 dest_time = os.path.getmtime(name_filter(file_name))
 357             if dest_time < source_time:
 358
 359                 in_f = open (file_name)
 360                 s = in_f.read()
 361                 in_f.close()
 362
 363                 s = s.replace ('%', '%%')
 364                 s = hack_urls (s, prefix, target, bool (int (versiontup[1]) %  2))
 365                 s = add_header (s, prefix)
 366
 367                 ### add footer
 368                 if footer_tag_re.search (s) == None:
 369                     if 'web' in file_name:
 370                         s = add_footer (s, footer_tag + web_footer)
 371                     else:
 372                         s = add_footer (s, footer_tag + footer)
 373
 374                     available, missing = find_translations (prefix, lang_ext)
 375                     page_flavors = process_links (s, prefix, lang_ext, file_name, missing, target)
 376                     # Add menu after stripping: must not have autoselection for language menu.
 377                     page_flavors = add_menu (page_flavors, prefix, available, target, translation)
 378                 for k in page_flavors:
 379                     page_flavors[k][1] = page_flavors[k][1] % subst[page_flavors[k][0]]
 380                     out_f = open (name_filter (k), 'w')
 381                     out_f.write (page_flavors[k][1])
 382                     out_f.close()
 383         # if the page is translated, a .en.html symlink is necessary for content negotiation
 384         if target == 'online' and ext_list != [''] and not os.path.lexists (name_filter (prefix + '.en.html')):
 385             os.symlink (os.path.basename (prefix) + '.html', name_filter (prefix + '.en.html'))