diff options
author | Tom Rini <trini@konsulko.com> | 2021-01-23 12:51:37 -0500 |
---|---|---|
committer | Tom Rini <trini@konsulko.com> | 2021-01-23 12:51:37 -0500 |
commit | e716c9022970dac9be15856a6651a07132463578 (patch) | |
tree | 66a90cd9aa9b1461471cc10cdaf4cdc19bb5526a /doc/sphinx/kernellog.py | |
parent | 757cec3a0314e88ca90bcc43589a065b7f76a57e (diff) |
Revert "doc: update Kernel documentation build system"
Unfortunately we now see a number of now-fatal warnings about duplicate
labels. It is often unclear how best to re-write the document in
question to not duplicate these otherwise logical headings.
This reverts commit 10a1df3cd43ba2fe893d5dd1aeb2e7109ef0007f.
Signed-off-by: Tom Rini <trini@konsulko.com>
Diffstat (limited to 'doc/sphinx/kernellog.py')
-rw-r--r-- | doc/sphinx/kernellog.py | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/doc/sphinx/kernellog.py b/doc/sphinx/kernellog.py index 8ac7d274f5..af924f51a7 100644 --- a/doc/sphinx/kernellog.py +++ b/doc/sphinx/kernellog.py @@ -25,8 +25,4 @@ def verbose(app, message): else: app.verbose(message) -def info(app, message): - if UseLogging: - logger.info(message) - else: - app.info(message) + |