From 9bf37d7fdff02b2b1dc24dc2e2a19e8bfd279fcb Mon Sep 17 00:00:00 2001
From: Badlop <badlop@process-one.net>
Date: Fri, 19 Mar 2021 13:15:43 +0100
Subject: [PATCH] No need to ignore doc/, it was removed in 2015! See 1854b5e4

---
 .gitignore | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/.gitignore b/.gitignore
index 227e4669f..cb9e68eec 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,19 +15,6 @@
 /*.cache
 /deps/
 /.deps-update/
-/doc/*.aux
-/doc/*.haux
-/doc/*.html
-/doc/*.htoc
-/doc/*.idx
-/doc/*.ilg
-/doc/*.ind
-/doc/*.log
-/doc/*.out
-/doc/*.pdf
-/doc/*.toc
-/doc/contributed_modules.tex
-/doc/version.tex
 /ebin/
 /ejabberd.init
 /ejabberd.service