diff --git a/ACE/ACE-INSTALL.html b/ACE/ACE-INSTALL.html index 22cd80cdeaf4f..7bed37506625e 100644 --- a/ACE/ACE-INSTALL.html +++ b/ACE/ACE-INSTALL.html @@ -427,7 +427,7 @@
% make install
- An alternative to directly running An alternative to directly running make install is to use
$ACE_ROOT/bin/install_proj.sh
+ make install
is to use $ACE_ROOT/bin/install_proj.sh
which will only install projects that are built (instead of trying to build each one during make install
).