scripts/build/www_post.py

   1 #!@PYTHON@
   2
   3 ## This is www_post.py. This script is the main stage
   4 ## of toplevel GNUmakefile local-WWW-post target.
   5
   6 # USAGE: www_post PACKAGE_NAME TOPLEVEL_VERSION OUTDIR TARGETS
   7 # please call me from top of the source directory
   8
   9 import sys
  10 import os
  11 import re
  12
  13 import langdefs
  14
  15 import mirrortree
  16 import postprocess_html
  17
  18 package_name, package_version, outdir, targets = sys.argv[1:]
  19 targets = targets.split (' ')
  20 outdir = os.path.normpath (outdir)
  21 doc_dirs = ['input', 'Documentation', outdir]
  22 target_pattern = os.path.join (outdir, '%s-root')
  23
  24 # these redirection pages allow to go back to the documentation index
  25 # from HTML manuals/snippets page
  26 static_files = {
  27     os.path.join (outdir, 'index.html'):
  28         '''<META HTTP-EQUIV="refresh" content="0;URL=Documentation/web/index.html">
  29 <html><body>Redirecting to the documentation index...</body></html>\n''',
  30     os.path.join (outdir, 'VERSION'):
  31         package_version + '\n',
  32     }
  33
  34 for f, contents in static_files.items ():
  35     open (f, 'w').write (contents)
  36
  37 sys.stderr.write ("Mirroring...\n")
  38 dirs, symlinks, files = mirrortree.walk_tree (
  39     tree_roots = doc_dirs,
  40     process_dirs = outdir,
  41     exclude_dirs = '(^|/)((' + \
  42         r'po|xref-maps|out|out-test|out-cov|.*?[.]t2d|\w*?-root)|^Documentation/(' + \
  43         '|'.join ([l.code for l in langdefs.LANGUAGES]) + '))(/|$)',
  44     find_files = r'.*?\.(?:midi|html|pdf|png|jpe?g|txt|i?ly|signature|css|zip|js|..\.idx|php)$|VERSION',
  45     exclude_files = r'lily-[0-9a-f]+.*\.(pdf|txt)')
  46
  47 # actual mirrorring stuff
  48 html_files = []
  49 hardlinked_files = []
  50 for f in files:
  51     if f.endswith ('.html'):
  52         if not 'UNTRANSLATED NODE: IGNORE ME' in open (f).read ():
  53             html_files.append (f)
  54     else:
  55         hardlinked_files.append (f)
  56 dirs = [re.sub ('/' + outdir, '', d) for d in dirs]
  57 while outdir in dirs:
  58     dirs.remove (outdir)
  59 dirs = list (set (dirs))
  60 dirs.sort ()
  61
  62 strip_file_name = {}
  63 strip_re = re.compile (outdir + '/')
  64 for t in targets:
  65     out_root = target_pattern % t
  66     strip_file_name[t] = lambda s: os.path.join (target_pattern % t, (strip_re.sub ('', s)))
  67     os.mkdir (out_root)
  68     map (os.mkdir, [os.path.join (out_root, d) for d in dirs])
  69     for f in hardlinked_files:
  70         os.link (f, strip_file_name[t] (f))
  71     for l in symlinks:
  72         p = mirrortree.new_link_path (os.path.normpath (os.readlink (l)), os.path.dirname (l), strip_re)
  73         dest = strip_file_name[t] (l)
  74         if not os.path.exists (dest):
  75             os.symlink (p, dest)
  76
  77
  78 # need this for content negotiation with documentation index
  79 if 'online' in targets:
  80     f = open (os.path.join (target_pattern % 'online', 'Documentation/.htaccess'), 'w')
  81     f.write ('#.htaccess\nDirectoryIndex index\n')
  82     f.close ()
  83
  84 postprocess_html.build_pages_dict (html_files)
  85 for t in targets:
  86     sys.stderr.write ("Processing HTML pages for %s target...\n" % t)
  87     postprocess_html.process_html_files (
  88         package_name = package_name,
  89         package_version = package_version,
  90         target = t,
  91         name_filter = strip_file_name[t])
  92