Moving doc/devel-man/.ignore to doc/.gitignore

dmorse · Jun 25, 2020 · 66543ea · 66543ea
1 parent 3ed5f6c
commit 66543ea
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/doc/.gitignore b/doc/.gitignore
@@ -0,0 +1,2 @@
+devel-man
+devel-man/*.html
diff --git a/doc/devel-man/.gitignore b/doc/devel-man/.gitignore