From 37cd0fdf5e7d4f0ffd4eabe0dc619f67c06ddb3c Mon Sep 17 00:00:00 2001
From: Michael Hanus <mh@informatik.uni-kiel.de>
Date: Sat, 6 Apr 2024 22:15:12 +0200
Subject: [PATCH] Fix dependencies for distribution

---
 mk/dist.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mk/dist.mk b/mk/dist.mk
index 2fb41586..ea9e1204 100644
--- a/mk/dist.mk
+++ b/mk/dist.mk
@@ -53,9 +53,9 @@ $(TARBALL): $(DISTDIR) $(DISTFRONTEND) $(DISTCOMP) $(DISTBOOTSTRAPCOMPS) $(DISTS
 	touch $(DISTLIBVERSION)
 	touch $(DISTINSTALLCURRY)
 	touch $(DISTPACKAGEJSON)
+	touch $(DISTCPMDEPSDUMMY)
 	touch $(DISTCOMP)
 	touch $(DISTREPL)
-	touch $(DISTCPMDEPSDUMMY)
 	touch $(DISTSTAGE1COMP)
 	touch $(DISTSTAGE2COMP)
 	touch $(DISTSTAGE3COMP)
-- 
GitLab