thevar1able/ClickHouse
1
0
Fork 0
mirror of https://github.com/ClickHouse/ClickHouse.git synced 2024-09-20 16:50:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update build.py

Browse Source
This commit is contained in:
Ivan Blinkov 2020-04-20 20:37:57 +03:00 committed by GitHub
parent 9d83a9dc3d
commit 73f978cb0f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/tools/build.py
View File

@ -304,7 +304,7 @@ def write_redirect_html(out_path, to_url):
except OSError:
pass
with open(out_path, 'w') as f:
f.write(f'''<!-- Redirect: {to_url} -->
f.write(f'''<!--[if IE 6]> Redirect: {to_url} <![endif]-->
<!DOCTYPE HTML>
<html lang="en-US">
<head>