X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=buildscripts%2Fwww_post.py;h=26cd613e4cdad36764c976bb424b124bc1638b08;hb=ece2e45d587f63565e81af44e1937ebe1f5e47a8;hp=8d7899ef0ebf7de524234f0c27d235919101d5e7;hpb=f21e96f7088d8faf32b4b15a05ec4418a17c4949;p=lilypond.git diff --git a/buildscripts/www_post.py b/buildscripts/www_post.py index 8d7899ef0e..26cd613e4c 100644 --- a/buildscripts/www_post.py +++ b/buildscripts/www_post.py @@ -17,19 +17,23 @@ outdir = os.path.normpath (outdir) doc_dirs = ['input', 'Documentation', outdir] target_pattern = os.path.join (outdir, '%s-root') +# these redirection pages allow to go back to the documentation index +# from HTML manuals/snippets page static_files = { os.path.join (outdir, 'index.html'): - ''' + ''' Redirecting to the documentation index...\n''', os.path.join (outdir, 'VERSION'): - package_version + '\n' } + package_version + '\n', + os.path.join ('input', 'lsr', outdir, 'index.html'): + ''' +Redirecting to the documentation index...\n''' + } import langdefs -# ugly hack: the following overwrites HTML Info dir with a link to -# the (more useful) documentation index for l in langdefs.LANGUAGES: - static_files[os.path.join ('Documentation/user', outdir, l.file_name ('index', '.html'))] = \ + static_files[os.path.join ('Documentation', 'user', outdir, l.file_name ('index', '.html'))] = \ '\nRedirecting to the documentation index...\n' @@ -45,9 +49,9 @@ sys.stderr.write ("Mirrorring...\n") dirs, symlinks, files = mirrortree.walk_tree ( tree_roots = doc_dirs, process_dirs = outdir, - exclude_dirs = '(^|/)(' + '|'.join ([l.code for l in langdefs.LANGUAGES]) + r'|po|out|\w*?-root)(/|$)', + exclude_dirs = '(^|/)(' + '|'.join ([l.code for l in langdefs.LANGUAGES]) + r'|po|out|.*?[.]t2d|\w*?-root)(/|$)', find_files = r'.*?\.(?:midi|html|pdf|png|txt|ly|signature)$|VERSION', - exclude_files = r'lily-[0-9a-f]+.*\.pdf') + exclude_files = r'lily-[0-9a-f]+.*\.(pdf|txt)') # actual mirrorring stuff html_files = []