Move a misplaced role="nodump"

That lead jhalfs to create a useless 801-pkgmgt script.
This commit is contained in:
Pierre Labastie 2021-09-13 07:35:53 +02:00
parent e128c68596
commit 365b8c74b1

View File

@ -111,7 +111,7 @@
(replace <replaceable>libfoo</replaceable> with the name of the
library):</para>
<screen><userinput role="nodump">grep -l -e '<replaceable>libfoo</replaceable>.*deleted' /proc/*/maps |
<screen role="nodump"><userinput>grep -l -e '<replaceable>libfoo</replaceable>.*deleted' /proc/*/maps |
tr -cd 0-9\\n | xargs -r ps u</userinput></screen>
<para>