diff --git a/doc.html b/doc.html index f45c9b8..b5ee868 100644 --- a/doc.html +++ b/doc.html @@ -286,6 +286,18 @@ -fhelp or -f? Lists all code generation options + + -redirout=<file> + Redirect stdout to any file. + + + -redirerr=<file> + Redirect stderr to any file. + + + -nocolor + Turn off colored stdout/stderr. +

Building Documentation