diff options
Diffstat (limited to 'doc/UsersGuide')
-rw-r--r-- | doc/UsersGuide/Notes.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/UsersGuide/Notes.tex b/doc/UsersGuide/Notes.tex index 30c01719..b5bb9924 100644 --- a/doc/UsersGuide/Notes.tex +++ b/doc/UsersGuide/Notes.tex @@ -898,7 +898,7 @@ thorns in this configuration \item [\texttt{gmake <\var{config}>-utils [UTILS$=$<\var{list}>]}] builds all utility programs provided by the thorns of a configuration. Individual -utilities can be selected by giving their names in the \texttt{UTILS} variable. +utilities can be selected by giving their names (ie. name of the source file without extension) in the \texttt{UTILS} variable. \end{Lentry} |