From 6568cd93662d0cea7f3bd39d990c54fa299d0288 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Johannes=20B=C3=BClow?= <johannes@jmbfountain.de>
Date: Sat, 7 Jan 2023 15:25:11 +0100
Subject: [PATCH] deleting dist content before building with makefile

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile b/Makefile
index a0b4d3e..403217e 100644
--- a/Makefile
+++ b/Makefile
@@ -10,6 +10,7 @@ test:
 	$(JSPKGMAN) run vite check
 
 build:
+	rm -rf $(CURDIR)/dist
 	$(JSPKGMAN) run vite build
 
 wasm-pack:
@@ -22,6 +23,8 @@ docker:
 	podman push docker.io/jmbitci/crypttool
 	podman push docker.io/jmbitci/crypttool:$(HEAD)
 
+all: build docker
+
 
 #TODO get rid of -f and check whether files exist instead
 clean: