Fix Domain.make_disjoint()

[linpy.git] / Makefile

diff --git a/Makefile b/Makefile
index 11f63e1..735d08a 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,7 @@ RM=rm -rf
 
 .PHONY: default
 default:
 
 .PHONY: default
 default:

-       @echo "$(NAME) – A polyhedral library based on ISL"
+       @echo "$(NAME) – A polyhedral library based on isl"

        @echo
        @echo "Makefile usage:"
        @echo "  make build            build the extension modules"
        @echo
        @echo "Makefile usage:"
        @echo "  make build            build the extension modules"