diff --git a/man/.gitignore b/man/.gitignore
new file mode 100644
index 00000000..8a8c90ca
--- /dev/null
+++ b/man/.gitignore
@@ -0,0 +1 @@
+defs.rst