From dafc84400743ed1e16a7570271bdd8e4674b1836 Mon Sep 17 00:00:00 2001
From: Ruben Verborgh <ruben@verborgh.org>
Date: Sun, 20 Dec 2020 13:50:53 +0100
Subject: [PATCH] chore: Do not lint documentation.

---
 .eslintignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.eslintignore b/.eslintignore
index 18f2b36db..d0a17001f 100644
--- a/.eslintignore
+++ b/.eslintignore
@@ -1,3 +1,4 @@
 coverage
 dist
+docs
 node_modules