diff options
| -rw-r--r-- | prologue/hostreqs.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prologue/hostreqs.xml b/prologue/hostreqs.xml index dcbe9dd32..4945d6fea 100644 --- a/prologue/hostreqs.xml +++ b/prologue/hostreqs.xml @@ -113,7 +113,7 @@ <para>To see all the appropriate versions, copy the following script to your system and run it.</para> -<screen><userinput>cat > version-check.sh << "EOF" +<screen role="nodump"><userinput>cat > version-check.sh << "EOF" <literal>#!/bin/bash # Simple script to list version numbers of critical developmet tools |