diff options
Diffstat (limited to 'src/cli-args.def')
| -rw-r--r-- | src/cli-args.def | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/cli-args.def b/src/cli-args.def index 1e06e12d3a..518a97466e 100644 --- a/src/cli-args.def +++ b/src/cli-args.def @@ -416,6 +416,13 @@ flag = { doc = ""; }; +flag = { + name = logfile; + arg-type = string; + descrip = "Redirect informational messages to a specific file."; + doc = ""; +}; + doc-section = { ds-type = 'SEE ALSO'; // or anything else ds-format = 'texi'; // or texi or mdoc format |