Spaces:
Sleeping
Sleeping
| #!@PYTHON@ | |
| # | |
| # This file is part of LilyPond, the GNU music typesetter. | |
| # | |
| # Copyright (C) 2006--2020 John Mandereau <john.mandereau@gmail.com> | |
| # | |
| # LilyPond is free software: you can redistribute it and/or modify | |
| # it under the terms of the GNU General Public License as published by | |
| # the Free Software Foundation, either version 3 of the License, or | |
| # (at your option) any later version. | |
| # | |
| # LilyPond is distributed in the hope that it will be useful, | |
| # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| # GNU General Public License for more details. | |
| # | |
| # You should have received a copy of the GNU General Public License | |
| # along with LilyPond. If not, see <http://www.gnu.org/licenses/>. | |
| # This is www_post.py. This script is the main stage | |
| # of toplevel GNUmakefile local-WWW-post target. | |
| # USAGE: www_post PACKAGE_NAME TOPLEVEL_VERSION OUTDIR TARGETS | |
| # please call me from top of the source directory | |
| import codecs | |
| import sys | |
| import os | |
| import re | |
| import postprocess_html | |
| package_name, package_version, target_dir, target = sys.argv[1:] | |
| # these redirection pages allow to go back to the documentation index | |
| # from HTML manuals/snippets page | |
| if os.path.isdir(os.path.join(target_dir, 'Documentation/')): | |
| for f, contents in { | |
| 'index.html': '''<META HTTP-EQUIV="refresh" content="0;URL=Documentation/web/index.html"> | |
| <html> | |
| <head> | |
| <title>Redirecting...</title> | |
| <meta name="author" content="This file was autogenerated"> | |
| </head> | |
| <body>Redirecting to the documentation index...</body> | |
| </html> | |
| ''', | |
| 'VERSION': package_version + '\n', | |
| }.items(): | |
| open(os.path.join(target_dir, f), 'w', encoding='utf8').write(contents) | |
| # need this for content negotiation with documentation index | |
| if target == 'online': | |
| f = open(os.path.join(target_dir, 'Documentation/.htaccess'), 'w', encoding='utf8') | |
| f.write('#.htaccess\nDirectoryIndex index\n') | |
| f.close() | |
| html_files = [] | |
| for root, dirs, files in os.walk(target_dir): | |
| for f in files: | |
| if f.endswith(".html"): | |
| html_files.append(os.path.join(root, f)) | |
| pages_dict = postprocess_html.build_pages_dict(html_files) | |
| sys.stderr.write("Processing HTML pages for %s target...\n" % target) | |
| postprocess_html.process_html_files( | |
| pages_dict, | |
| package_name=package_name, | |
| package_version=package_version, | |
| target=target) | |