diff --git a/share/Makefile.installation b/share/Makefile.installation index d89e9d704eeb06ac9ebacab50ed7b421a6cc69e6..20763187074327b2dcc555ea7617eed1afd3ff66 100644 --- a/share/Makefile.installation +++ b/share/Makefile.installation @@ -64,12 +64,12 @@ ifndef PREFIX else ifeq ($(PREFIX),$(OPAM_SWITCH_PREFIX)) @echo "Installing $(INSTALL_TARGET)to current Opam switch" - @echo -n " Copying and relocating files..." + @printf " Copying and relocating files..." dune install ${MANDIR_OPT} 2> /dev/null @echo " (done)" else @echo "Installing $(INSTALL_TARGET)to ${PREFIX}" - @echo -n " Copying and relocating files..." + @printf " Copying and relocating files..." dune install --prefix ${PREFIX} ${MANDIR_OPT} 2> /dev/null @echo " (done)" @echo 'DO NOT FORGET TO EXPAND YOUR OCAMLPATH VARIABLE:'