diff options
Diffstat (limited to 'doc/UsersGuide/Notes.tex')
| -rw-r--r-- | doc/UsersGuide/Notes.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/UsersGuide/Notes.tex b/doc/UsersGuide/Notes.tex index 29081ec8..5a702d0c 100644 --- a/doc/UsersGuide/Notes.tex +++ b/doc/UsersGuide/Notes.tex @@ -570,8 +570,9 @@ Supported values are \texttt{yes}, and \texttt{no}. A blank value is taken as \t \begin{Lentry} \item [\texttt{PROMPT}] Setting this to \texttt{no} turns off all prompts from the make system. -\item [\texttt{SILENT}] Setting this to \texttt{no} instructs \texttt{gmake} to print the +\item [\texttt{VERBOSE}] Setting this to \texttt{yes} instructs \texttt{gmake} to print the commands that it is executing. +\item [\texttt{SILENT}] Setting this to \texttt{no} is an depreciated way of using \texttt{VERBOSE = yes}. \end{Lentry} \end{itemize} |