diff options
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> |