diff options
Diffstat (limited to 'doc/sphinx/kernellog.py')
| -rw-r--r-- | doc/sphinx/kernellog.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/sphinx/kernellog.py b/doc/sphinx/kernellog.py index af924f51a7d..8ac7d274f54 100644 --- a/doc/sphinx/kernellog.py +++ b/doc/sphinx/kernellog.py @@ -25,4 +25,8 @@ def verbose(app, message): else: app.verbose(message) - +def info(app, message): + if UseLogging: + logger.info(message) + else: + app.info(message) |