aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--INSTALL.cli8
1 files changed, 4 insertions, 4 deletions
diff --git a/INSTALL.cli b/INSTALL.cli
index 3d8a098..49cf63a 100644
--- a/INSTALL.cli
+++ b/INSTALL.cli
@@ -21,10 +21,10 @@ system is self-hosted, which means that unless you have obtained a pre-built
binary from somewhere else, you will need to bootstrap it. To accomplish this,
we use the \c{bootstrap.sh} shell script (or equivalent batch files for
Windows) found in the root directory of the \c{build2} distribution. On
-UNIX-like operating systems as well as MinGW a GNU \c{make} makefile called
-\c{bootstrap.gmake} can also be used with the major advanage over the script
-being support for parallel compilation and an out of tree build (see comments
-inside the makefile for more information).
+UNIX-like operating systems as well as on Windows with MinGW or Clang, a GNU
+\c{make} makefile called \c{bootstrap.gmake} can also be used with the major
+advanage over the script being support for parallel compilation and an out of
+tree build (see comments inside the makefile for more information).
The following is the recommended sequence of steps: