diff --git a/.gitignore b/.gitignore
index 973ee7e31..14a7720d5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,3 +3,4 @@
 redis-cli
 redis-server
 redis-benchmark
+doc-tools