diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2019-11-21 20:22:12 +0100 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2019-11-21 22:03:57 +0100 |
| commit | b0343f8c96e984211c24c3ba404f0a82b60244b4 (patch) | |
| tree | e3bb2a6e9bcf12398f6d24e6b05c89e8b7baeadb /man/coredumpctl.xml | |
| parent | 8eb6e6ed09bf037f97569701e409fca888f27309 (diff) | |
| download | systemd-b0343f8c96e984211c24c3ba404f0a82b60244b4.tar.gz | |
man: change noindex="true" to index="false"
We nowadays prefer positive options over negative.
Diffstat (limited to 'man/coredumpctl.xml')
| -rw-r--r-- | man/coredumpctl.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/coredumpctl.xml b/man/coredumpctl.xml index 2b0f62a28d..4e99bc0d69 100644 --- a/man/coredumpctl.xml +++ b/man/coredumpctl.xml @@ -321,7 +321,7 @@ <example> <title>Extract the last core dump of /usr/bin/bar to a file named - <filename noindex="true">bar.coredump</filename></title> + <filename index="false">bar.coredump</filename></title> <programlisting># coredumpctl -o bar.coredump dump /usr/bin/bar</programlisting> </example> |