(no commit message)

diff --git a/doc/build/lib/highlight.py b/doc/build/lib/highlight.py
index 50285960ead6ee64effaacb5df4e882937b7a681..5841e698452b612c1a2d6fffd3cd255da0cb11c4 100644 (file)
--- a/doc/build/lib/highlight.py
+++ b/doc/build/lib/highlight.py
@@ -119,7 +119,6 @@ class Highlighter:
         self.source = source
         self.pos = 0
         self.html_escape = html_escape
-        
         if output is None:
             self.output = StringIO.StringIO()
         else: