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

[Sascha Hauer]

On Fri, 11 Jul 2025 14:53:49 +0200, Ahmad Fatoum wrote:
> 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.
> 
> [...]

Applied, thanks!

[1/1] Documentation: gen_commands.py: fix Option list warning
      https://git.pengutronix.de/cgit/barebox/commit/?id=891fab77277d (link may not be stable)

Best regards,
-- 
Sascha Hauer <s.hauer at pengutronix.de>