From e73e8e440ce43ddff61138e549943b399eb9e95d Mon Sep 17 00:00:00 2001 From: Hans Dijkema Date: Thu, 9 Apr 2026 13:39:23 +0200 Subject: [PATCH] - --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 5b9a801..d28732f 100644 --- a/Makefile +++ b/Makefile @@ -5,7 +5,7 @@ all: clean: find . -name "*.rkt~" -type f -exec rm -f {} \; find . -name "*.scrbl~" -type f -exec rm -f {} \; - find . -name "compiled" -type d -exec rm -rf {} \; + DIRS=`find . -name "compiled" -type d`;rm -rf $$DIRS find scrbl -name "*.html" -type f -exec rm {} \; find scrbl -name "*.css" -type f -exec rm {} \; find scrbl -name "*.js" -type f -exec rm {} \;