diff --git a/docs/.gitignore b/docs/.gitignore
index a087be744b..31ca7656e9 100644
--- a/docs/.gitignore
+++ b/docs/.gitignore
@@ -4,3 +4,4 @@
 
 *.1
 *.3
+RELEASE-TOOLS.md.dist