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