diff options
author | Jeremy Harris <jgh146exb@wizmail.org> | 2022-11-29 12:25:27 +0000 |
---|---|---|
committer | Jeremy Harris <jgh146exb@wizmail.org> | 2022-11-29 16:03:25 +0000 |
commit | 212c50c3b5dcdf00442933496a44b1d1db6908b5 (patch) | |
tree | aeeebd05004dcc085e9655c814707eb66ccb888a /doc | |
parent | c86c97065357b1cca9601246cec74aa364a635f5 (diff) |
Docs: fix typo in markup
Diffstat (limited to 'doc')
-rw-r--r-- | doc/doc-docbook/spec.xfpt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/doc-docbook/spec.xfpt b/doc/doc-docbook/spec.xfpt index 5b3436f74..15d909be0 100644 --- a/doc/doc-docbook/spec.xfpt +++ b/doc/doc-docbook/spec.xfpt @@ -31635,7 +31635,7 @@ pretrigger=<&'size'&> This option specifies a memory buffuer to be used immediate writes to file are done as normal. trigger=<&'reason'&> This option selects cause for the pretrigger buffer - see above) to be copied to file. A reason of $*now* + see above) to be copied to file. A reason of &*now*& take effect immediately; one of &*paniclog*& triggers on a write to the panic log. .endd |