From 988eb4d690b125c9aee1ffe50e7f86b0d96c33eb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20G=C3=B6ttsche?= <cgzones@googlemail.com>
Date: Wed, 15 Apr 2020 11:56:29 +0200
Subject: [PATCH] Ignore temporary documentation file directory in git
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Christian Göttsche <cgzones@googlemail.com>
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 200bfebe4..3e8bd83aa 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,6 +8,7 @@
 /doc/global_tunables.xml
 /doc/html/
 /doc/policy.xml
+/doc/tmp/
 /file_contexts
 /homedir_template
 /net_contexts