Docs: Add AJAX search field to the docs

[lilypond.git] / scripts / build / www_post.py
diff --git a/scripts/build/www_post.py b/scripts/build/www_post.py

index 2df5b38468761f6d8237e19f03ee2f83c5be896f..17af63109edf3d3728ed44c5a49a1e77452cf21f 100644 (file)
--- a/scripts/build/www_post.py
+++ b/scripts/build/www_post.py
@@ -25,7 +25,7 @@ target_pattern = os.path.join (outdir, '%s-root')
  # from HTML manuals/snippets page
  static_files = {
      os.path.join (outdir, 'index.html'):
-        '''<META HTTP-EQUIV="refresh" content="0;URL=Documentation/index.html">
+        '''<META HTTP-EQUIV="refresh" content="0;URL=Documentation/web/index.html">
  <html><body>Redirecting to the documentation index...</body></html>\n''',
      os.path.join (outdir, 'VERSION'):
          package_version + '\n',
@@ -41,7 +41,7 @@ dirs, symlinks, files = mirrortree.walk_tree (
      exclude_dirs = '(^|/)((' + \
          r'po|xref-maps|out|out-test|out-cov|.*?[.]t2d|\w*?-root)|^Documentation/(' + \
          '|'.join ([l.code for l in langdefs.LANGUAGES]) + '))(/|$)',
-    find_files = r'.*?\.(?:midi|html|pdf|png|txt|i?ly|signature|css|zip)$|VERSION',
+    find_files = r'.*?\.(?:midi|html|pdf|png|jpe?g|txt|i?ly|signature|css|zip|js|..\.idx|php)$|VERSION',
      exclude_files = r'lily-[0-9a-f]+.*\.(pdf|txt)')
  
  # actual mirrorring stuff
@@ -49,7 +49,8 @@ html_files = []
  hardlinked_files = []
  for f in files:
      if f.endswith ('.html'):
-        html_files.append (f)
+        if not 'UNTRANSLATED NODE: IGNORE ME' in open (f).read ():
+            html_files.append (f)
      else:
          hardlinked_files.append (f)
  dirs = [re.sub ('/' + outdir, '', d) for d in dirs]