diff --git a/docs/commands.html b/docs/commands.html index 57988606d..ca61113a8 100644 --- a/docs/commands.html +++ b/docs/commands.html @@ -720,76 +720,82 @@