diff options
Diffstat (limited to 'src/scripts/build_docs.py')
-rwxr-xr-x | src/scripts/build_docs.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/scripts/build_docs.py b/src/scripts/build_docs.py index 9b0e37960..92542dd2d 100755 --- a/src/scripts/build_docs.py +++ b/src/scripts/build_docs.py @@ -78,10 +78,10 @@ def run_and_check(cmd_line, cwd=None): logging.error("Executing %s failed (%s)", ' '.join(cmd_line), e) if stdout: - logging.debug(stdout.decode()) + logging.info(stdout.decode()) if stderr: - logging.debug(stderr.decode()) + logging.info(stderr.decode()) if proc.returncode != 0: logging.info(stdout.decode()) |