[Doc] Fixes INSTALL.md: variable INSTALLDIR replaced by PREFIX.

d90788ce · David Bühler · Allan Blanchard · e1150d4b · d90788ce
Commit d90788ce authored 2 years ago by David Bühler Committed by Allan Blanchard 2 years ago
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -377,7 +377,7 @@ dune build @ptests_config

 Type `make install` (depending on the installation directory, this may require
 superuser privileges. The installation directory is chosen through the variable
-`INSTALLDIR`). This is a shortcut for:
+`PREFIX`). This is a shortcut for:

 ```
 dune install