From 9d1581dc2b4b8f52ab68fd96499b0801b139b02b Mon Sep 17 00:00:00 2001
From: Giorgio Calderone <giorgio.calderone@gmail.com>
Date: Tue, 24 Mar 2020 12:14:05 +0100
Subject: [PATCH] Ignore Documenter build dir

---
 .gitignore | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.gitignore b/.gitignore
index 8c960ec..078841d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1 @@
-*.jl.cov
-*.jl.*.cov
-*.jl.mem
+docs/build/