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

Update concatenate.py

Browse Source
This commit is contained in:
Ivan Blinkov 2020-03-31 16:04:53 +03:00 committed by GitHub
parent 487c088ab7
commit a2ceb92907
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
docs/tools/concatenate.py
View File

@ -14,9 +14,8 @@ def concatenate(lang, docs_path, single_page_file):
files_to_concatenate = [(l[l.index(':') + 1:]).strip(" '\n") for l in cfg_file
if '.md' in l and 'single_page' not in l]
logging.info(
str(len(files_to_concatenate)) +
' files will be concatenated into single md-file.')
files_count = len(files_to_concatenate)
logging.info(f'{files_count} files will be concatenated into single md-file for {lang}.')
logging.debug('Concatenating: ' + ', '.join(files_to_concatenate))
for path in files_to_concatenate: