[PATCH] Documentation: gen_commands.py: fix Option list warning

[Ahmad Fatoum]

Building some commands like miitool results in a warning:

  miitool.rst:25: WARNING: Option list ends without a blank
  line; unexpected unindent.

Have the script emit a new line after every command to silence it.

Signed-off-by: Ahmad Fatoum <a.fatoum at pengutronix.de>
---
 Documentation/gen_commands.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Documentation/gen_commands.py b/Documentation/gen_commands.py
index 7c62a030dcec..4fcb4dda6e74 100755
--- a/Documentation/gen_commands.py
+++ b/Documentation/gen_commands.py
@@ -139,6 +139,7 @@ def gen_rst(name, cmd):
         out.append('%s\n %s' % (o, d))
       else:
         out.append(' %s' % (d,))
+      out.append('')
     out.append('')
   if 'h_post' in cmd:
     post = cmd['h_post']
-- 
2.39.5