diff --git a/Makefile b/Makefile index f0c781533f0ee7893601d06d42fd82bd4ef8c539..1814f273604cd146361c1159d6d218bff2a71291 100644 --- a/Makefile +++ b/Makefile @@ -175,8 +175,8 @@ ifeq ($(FRAMAC_INSTALLDIR),"") dune install else dune install --prefix ${FRAMAC_INSTALLDIR} - echo 'DO NOT FORGET TO EXPAND YOUR OCAMLPATH VARIABLE:' - echo ' export OCAMLPATH="${FRAMAC_INSTALLDIR}:$$OCAMLPATH"' + @echo 'DO NOT FORGET TO EXPAND YOUR OCAMLPATH VARIABLE:' + @echo ' export OCAMLPATH="${FRAMAC_INSTALLDIR}/lib:$$OCAMLPATH"' endif uninstall: