diff options
author | 2010-08-27 16:13:18 +0100 | |
---|---|---|
committer | 2010-08-27 16:13:18 +0100 | |
commit | 39ca74aecd40eec1a5a61d588c251957f45e8d58 (patch) | |
tree | bb513a34b0f79ef5669e1414a2500ca0c7ea11e6 | |
parent | 3034cb43f63dacafae46a1485ebf066ecf754adb (diff) | |
download | paludis-39ca74aecd40eec1a5a61d588c251957f45e8d58.tar.gz paludis-39ca74aecd40eec1a5a61d588c251957f45e8d58.tar.xz |
docs tweak
-rw-r--r-- | doc/configuration/output.html.part.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/configuration/output.html.part.in b/doc/configuration/output.html.part.in index 5b2069e61..14ea5acbb 100644 --- a/doc/configuration/output.html.part.in +++ b/doc/configuration/output.html.part.in @@ -57,6 +57,10 @@ stderr_command = cat >/dev/null <pre> extra_output_managers = my_log_stderr +[manager my_log_stderr] +handler = tee +stderr_children = my_log_stderr_file + [manager my_log_stderr_file] handler = file filename = ${root}/var/tmp/paludis/%{time}-%{action}-%{full_name}.stderr |