From 66543eab77f0d2d17f28fa2318357c3588b4ecf5 Mon Sep 17 00:00:00 2001
From: David Morse <morse012@umn.edu>
Date: Thu, 25 Jun 2020 17:16:19 -0500
Subject: [PATCH] Moving doc/devel-man/.ignore to doc/.gitignore

---
 doc/.gitignore           | 2 ++
 doc/devel-man/.gitignore | 1 -
 2 files changed, 2 insertions(+), 1 deletion(-)
 create mode 100644 doc/.gitignore
 delete mode 100644 doc/devel-man/.gitignore

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 @@
-*