From 61293ea8970bb89cde53dff14362f4aa3858ebe9 Mon Sep 17 00:00:00 2001
From: Lia Lenckowski <lialenck@protonmail.com>
Date: Sat, 29 Jul 2023 15:28:29 +0200
Subject: dont try deleting deploy dir

it doesnt ever work anyways lol
---
 makefile | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'makefile')

diff --git a/makefile b/makefile
index 7783333..1061030 100644
--- a/makefile
+++ b/makefile
@@ -12,9 +12,8 @@ clean:
 	stack clean --full
 	rm -f deploy/{bundle.js,index.html,fastbangs,style.css}
 	rm -f deploy.zip
-	# This may fail if the server was run, due to bangs.json and banger.db.
-	# This is intentional, as we don't want to delete some users' data
-	rmdir deploy
+	# This leaves the deploy directory, which is intentional, as it may contain
+	# user data
 
 deploy.zip: deploy-dir
 	zip deploy.zip -r deploy
-- 
cgit v1.2.3-70-g09d2