1.1--- a/makefile	Tue May 21 17:16:15 2024 -0400
     1.2+++ b/makefile	Tue May 21 17:17:36 2024 -0400
     1.3@@ -173,10 +173,6 @@
     1.4 	mkdir -pv $@
     1.5 	$<
     1.6 
     1.7-dist/cdn:cdn $(D)
     1.8-	mkdir -pv $@
     1.9-	cp -r $</* $@
    1.10-
    1.11 dist/sbcl:$(D);
    1.12 	scripts/dist-sbcl-binary.sh $(SBCL_TARGET) $(D)
    1.13 	cd $(SBCL_TARGET) && sh ./clean.sh