From 57badea2dc9aff361d528aeeeb22ac2e85da1435 Mon Sep 17 00:00:00 2001
From: Adam Stankiewicz <sheerun@sher.pl>
Date: Sun, 6 Sep 2020 02:34:46 +0200
Subject: Ignore idris2 doc, fixes #538

---
 packages.yaml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'packages.yaml')

diff --git a/packages.yaml b/packages.yaml
index 04dd4cd4..f757cf99 100644
--- a/packages.yaml
+++ b/packages.yaml
@@ -757,6 +757,8 @@ filetypes:
 ---
 name: idris2
 remote: edwinb/idris2-vim
+ignored_dirs:
+- doc
 filetypes:
 - name: idris2
   extensions:
-- 
cgit v1.2.3