From f074109261666d59363d26169d7f62d17b15f00f Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Sat, 22 Feb 2020 16:29:19 +0100
Subject: Remove useless dependencies in the `build' rule of cleopatra

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 33e93a9..cce3386 100644
--- a/.gitignore
+++ b/.gitignore
@@ -30,6 +30,7 @@ site/posts/DiscoveringCommonLisp.html
 site/posts/ExtensibleTypeSafeErrorHandling.html
 site/posts/MonadTransformers.html
 site/style/main.css
+soupault.conf
 bootstrap.mk
 scripts/update-gitignore.sh
 coq.mk
-- 
cgit v1.2.3