From 3b54012324347775c2af11843c0e9d3d29a24e82 Mon Sep 17 00:00:00 2001 From: Dale Weiler Date: Sat, 24 Nov 2012 21:11:54 +0000 Subject: [PATCH] Document -redirout/-redirerr + -nocolor for compiler options --- doc.html | 12 ++++++++++++ 1 file changed, 12 insertions(+) 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

-- 2.39.2