diff options
Diffstat (limited to 'doc/UsersGuide/Appendices.tex')
| -rw-r--r-- | doc/UsersGuide/Appendices.tex | 2 |
1 files changed, 1 insertions, 1 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] |