From 365b8c74b15c60c0ff2cee52f9b3cef62ed19df0 Mon Sep 17 00:00:00 2001
From: Pierre Labastie <pierre.labastie@neuf.fr>
Date: Mon, 13 Sep 2021 07:35:53 +0200
Subject: [PATCH] Move a misplaced role="nodump"

That lead jhalfs to create a useless 801-pkgmgt script.
---
 chapter08/pkgmgt.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/chapter08/pkgmgt.xml b/chapter08/pkgmgt.xml
index c5fcaa4be..3814b02b0 100644
--- a/chapter08/pkgmgt.xml
+++ b/chapter08/pkgmgt.xml
@@ -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>