Spaces:
Sleeping
Sleeping
File size: 2,456 Bytes
f65fe85 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 |
#!@PYTHON@
#
# This file is part of LilyPond, the GNU music typesetter.
#
# Copyright (C) 2006--2020 John Mandereau <[email protected]>
#
# 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)
|