mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-09-21 01:00:48 +00:00
Improve logging a bit #2
This commit is contained in:
parent
56cbce1b38
commit
ccd8e95093
@ -31,8 +31,8 @@ def concatenate(lang, docs_path, single_page_file):
|
||||
|
||||
logging.info(
|
||||
str(len(files_to_concatenate)) +
|
||||
' files will be concatenated into single md-file: ' +
|
||||
', '.join(files_to_concatenate))
|
||||
' files will be concatenated into single md-file.')
|
||||
logging.debug('Concatenating: ' + ', '.join(files_to_concatenate))
|
||||
|
||||
first_file = True
|
||||
|
||||
|
@ -212,7 +212,7 @@
|
||||
{% endif %}
|
||||
{% endblock %}
|
||||
{% if config.extra.single_page and page.content %}
|
||||
<script type="text/javascript" async="async">
|
||||
<script type="text/javascript">
|
||||
function ready(callback){
|
||||
if (document.readyState != 'loading') {
|
||||
callback();
|
||||
|
Loading…
Reference in New Issue
Block a user