3 files changed, 3 insertions, 0 deletions
diff --git a/doc/tools/convert_papermode_to_metadata.py b/doc/tools/convert_papermode_to_metadata.py
index a1d6372d..61427c83 100755
--- a/doc/tools/convert_papermode_to_metadata.py
+++ b/doc/tools/convert_papermode_to_metadata.py
@@ -21,6 +21,7 @@ else:
 
 FIELDS = ["name", "year", "title", "authors", "url"]
 
+
 def replace(source, target):
     if not os.path.exists(source):
         print("Source file `%s' doesn't exist, skipping." % source)
diff --git a/doc/tools/print_colors.py b/doc/tools/print_colors.py
index 4bc12f91..feae8e35 100755
--- a/doc/tools/print_colors.py
+++ b/doc/tools/print_colors.py
@@ -7,6 +7,7 @@ It will exit after a keypress.
 import curses
 from curses import *
 
+
 @wrapper
 def main(win):
     def print_all_colors(attr):
diff --git a/doc/tools/print_keys.py b/doc/tools/print_keys.py
index fecd6fb9..ea2b1a4e 100755
--- a/doc/tools/print_keys.py
+++ b/doc/tools/print_keys.py
@@ -7,6 +7,7 @@ from curses import *
 
 sep = '; '
 
+
 @wrapper
 def main(w):
     mousemask(ALL_MOUSE_EVENTS)