whitespace
diff --git a/src/tools/docmaker/sources.py b/src/tools/docmaker/sources.py
index 08f3b14..2d133c4 100644
--- a/src/tools/docmaker/sources.py
+++ b/src/tools/docmaker/sources.py
@@ -295,7 +295,7 @@ class SourceProcessor:
self.lines = []
for line in fileinput.input( filename ):
- # strip trailing newlines, important on Windows machines !!
+ # strip trailing newlines, important on Windows machines!
if line[-1] == '\012':
line = line[0:-1]