From d5940f9060b72bc717727864c7fee39d970206b8 Mon Sep 17 00:00:00 2001
From: Dominik Heidler <dheidler@suse.de>
Date: Mon, 26 Aug 2019 15:25:19 +0200
Subject: [PATCH] Fix gitignore for docs

---
 .gitignore      | 1 +
 docs/.gitignore | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)
 delete mode 100644 docs/.gitignore

diff --git a/.gitignore b/.gitignore
index a159fa4ef36a..a6f4f5fdc05b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,4 @@ tools/tidy
 *.tdy
 .*.swp
 *~
+docs/*.html
diff --git a/docs/.gitignore b/docs/.gitignore
deleted file mode 100644
index 2d19fc766d98..000000000000
--- a/docs/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-*.html