From ccd8e95093e19c39201e82a4d251a162f1651b3f Mon Sep 17 00:00:00 2001 From: Ivan Blinkov Date: Wed, 11 Jul 2018 11:17:36 +0300 Subject: [PATCH] Improve logging a bit #2 --- docs/tools/concatenate.py | 4 ++-- docs/tools/mkdocs-material-theme/base.html | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/tools/concatenate.py b/docs/tools/concatenate.py index 25ee6364710..5a10c536ced 100755 --- a/docs/tools/concatenate.py +++ b/docs/tools/concatenate.py @@ -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 diff --git a/docs/tools/mkdocs-material-theme/base.html b/docs/tools/mkdocs-material-theme/base.html index d7d0d0f8775..b59503524fd 100644 --- a/docs/tools/mkdocs-material-theme/base.html +++ b/docs/tools/mkdocs-material-theme/base.html @@ -212,7 +212,7 @@ {% endif %} {% endblock %} {% if config.extra.single_page and page.content %} -