diff --git a/doc/sphinx/kernellog.py b/doc/sphinx/kernellog.py
index 8ac7d27..af924f5 100644
--- a/doc/sphinx/kernellog.py
+++ b/doc/sphinx/kernellog.py
@@ -25,8 +25,4 @@
     else:
         app.verbose(message)
 
-def info(app, message):
-    if UseLogging:
-        logger.info(message)
-    else:
-        app.info(message)
+