From 217336b6ea6f15c897c4c17356f3c30d86ebd5c8 Mon Sep 17 00:00:00 2001
From: Mikael Fangel <34864484+MikaelFangel@users.noreply.github.com>
Date: Fri, 10 May 2024 11:16:47 +0200
Subject: [PATCH] gitignore: ignore docs

---
 .gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index e17bbd3..5270a57 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,7 +8,7 @@
 /deps/
 
 # Where third-party dependencies like ExDoc output generated docs.
-/doc/
+/docs/
 
 # Ignore .fetch files in case you like to edit your project deps locally.
 /.fetch