[PATCH] Documentation: .gitignore: ignore 'commands/' generated directory

[Antony Pavlov]

Signed-off-by: Antony Pavlov <antonynpavlov at gmail.com>
---
 Documentation/.gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Documentation/.gitignore b/Documentation/.gitignore
index 1454566..5c36dc3 100644
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
@@ -1,2 +1,3 @@
 build
+commands
 html
-- 
2.1.0