diff --git a/Makefile b/Makefile index 69d14288dd6d7d893f0bdf09882ec59a98f66e97..f34bcca55d82b9cfa5f40e6e3460521d67658278 100644 --- a/Makefile +++ b/Makefile @@ -36,7 +36,7 @@ builddep-opamfiles: $(BUILDDEPFILES) .PHONY: builddep-opamfiles builddep: builddep-opamfiles - @# We want opam to not just instal the build-deps now, but to also keep satisfying these + @# We want opam to not just install the build-deps now, but to also keep satisfying these @# constraints. Otherwise, `opam upgrade` may well update some packages to versions @# that are incompatible with our build requirements. @# To achieve this, we create a fake opam package that has our build-dependencies as