diff options
-rw-r--r-- | doc/index.html | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/index.html b/doc/index.html index 7e9da92..ab572e4 100644 --- a/doc/index.html +++ b/doc/index.html @@ -643,7 +643,7 @@ USE_OSGPLUGIN(<plugin2>) unzip wget yasm</pre> <p> - Ensure that /usr/local/bin preceeds /usr/bin in your $PATH: + Ensure that /usr/local/bin precedes /usr/bin in your $PATH: </p> <p> For C style shells, edit .cshrc @@ -729,7 +729,9 @@ sudo gcc_select gcc42</pre> <p> All build commands also download the packages if necessary. </p> - + <p> + In a BSD userland, substitute "make" with "gmake". + </p> <dl class="usage"> <dt>make</dt> |