man: change noindex="true" to index="false"

[thirdparty/systemd.git] / man / coredumpctl.xml

diff --git a/man/coredumpctl.xml b/man/coredumpctl.xml
index 2b0f62a28dcdb685db58f5c80c61f28c3ef0a3a1..4e99bc0d69880917467d1368d17d15283ea9a62c 100644 (file)
--- 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>