Merge branch 'master' into master

1 files changed, 1 insertions, 3 deletions

diff --git a/docs/conf.py b/docs/conf.py
index add1c5e7..33aeeae8 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -7,9 +7,7 @@ sys.path.insert(0, os.path.abspath('..'))
 
 def process_docstring(app, what, name, obj, options, lines):
 	spaces_pat = re.compile(r"( {8})")
-	ll = []
-	for line in lines:
-		ll.append(spaces_pat.sub("    ", line))
+	ll = [spaces_pat.sub("    ", line) for line in lines]
 	lines[:] = ll