diff options
Diffstat (limited to 'doc/UsersGuide')
| -rw-r--r-- | doc/UsersGuide/Appendices.tex | 2 | ||||
| -rw-r--r-- | doc/UsersGuide/Notes.tex | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/doc/UsersGuide/Appendices.tex b/doc/UsersGuide/Appendices.tex index f95abc8a..0d844704 100644 --- a/doc/UsersGuide/Appendices.tex +++ b/doc/UsersGuide/Appendices.tex @@ -65,7 +65,7 @@ http://en.wikipedia.org/wiki/Cactus compiler optimization settings (\verb|OPTIMISE|/\verb|OPTIMIZE| and \verb|*_OPTIMISE_FLAGS| configure options) are part of a configuration (these flags change what binary is produced), but the - Cactus \verb|SILENT| and \verb|WARN| configure options aren't part + Cactus \verb|VERBOSE| and \verb|WARN| configure options aren't part of a configuration (they don't change what binary will be produced). % See Section~\ref{sec:configurations}. \item[checkout] 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} |