From b4bba9ad29bca17f3c92c6b76f8cb8aae1b00cb5 Mon Sep 17 00:00:00 2001 From: Andrew Belt Date: Mon, 1 Aug 2022 02:05:34 -0400 Subject: [PATCH] Run cleandist target before dist in Makefile. --- Makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 59d27122..a4359405 100644 --- a/Makefile +++ b/Makefile @@ -159,8 +159,7 @@ DIST_HTML := $(patsubst %.md, build/%.html, $(DIST_MD)) # Target not supported for public use -dist: $(TARGET) $(STANDALONE_TARGET) $(DIST_HTML) - rm -rf dist +dist: $(TARGET) $(STANDALONE_TARGET) $(DIST_HTML) | cleandist mkdir -p dist # Copy Rack to dist ifdef ARCH_LIN