Whitespace normalization, via reindent.py.
diff --git a/Doc/tools/keywords.py b/Doc/tools/keywords.py
index 876987d..9f32056 100644
--- a/Doc/tools/keywords.py
+++ b/Doc/tools/keywords.py
@@ -4,16 +4,16 @@
l = []
try:
- while 1:
- l = l + raw_input().split()
+ while 1:
+ l = l + raw_input().split()
except EOFError:
- pass
+ pass
l.sort()
for x in l[:]:
- while l.count(x) > 1: l.remove(x)
+ while l.count(x) > 1: l.remove(x)
ncols = 5
nrows = (len(l)+ncols-1)/ncols
for i in range(nrows):
- for j in range(i, len(l), nrows):
- print l[j].ljust(10),
- print
+ for j in range(i, len(l), nrows):
+ print l[j].ljust(10),
+ print