thevar1able/ClickHouse
1
0
Fork 0
mirror of https://github.com/ClickHouse/ClickHouse.git synced 2024-11-21 23:21:59 +00:00
Code Issues Packages Projects Releases Wiki Activity

Skip introduction/info.md in single page docs (#6292)

Browse Source
This commit is contained in:
Ivan Blinkov 2019-08-12 19:23:12 +03:00 committed by GitHub
parent fe8e9124a0
commit 7bab9468b5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/tools/concatenate.py
View File

@ -23,6 +23,8 @@ def concatenate(lang, docs_path, single_page_file):
logging.debug('Concatenating: ' + ', '.join(files_to_concatenate))
for path in files_to_concatenate:
if path.endswith('introduction/info.md'):
continue
try:
with open(os.path.join(lang_path, path)) as f:
anchors = set()