# HG changeset patch # User ellis # Date 1704334686 18000 # Node ID 8567ae279270e46a27779683e05275a3c1621566 # Parent e1061716787ee4cbebec5c2298bdfdfad19407d5 deploy fix diff -r e1061716787e -r 8567ae279270 makefile --- a/makefile Wed Jan 03 21:05:14 2024 -0500 +++ b/makefile Wed Jan 03 21:18:06 2024 -0500 @@ -28,7 +28,7 @@ clean:;rm -rf $(B) $(D) $(B):;mkdir -pv $@/src $(D):;mkdir -pv $@ -$(DESTINATION):$(D);cp -rf $