diff --git a/doc/.gitignore b/doc/.gitignore
new file mode 100644
index 0000000..7e61c42
--- /dev/null
+++ b/doc/.gitignore
@@ -0,0 +1,2 @@
+devel-man
+devel-man/*.html
diff --git a/doc/devel-man/.gitignore b/doc/devel-man/.gitignore
deleted file mode 100644
index 72e8ffc..0000000
--- a/doc/devel-man/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-*