diff --git a/prologue/hostreqs.xml b/prologue/hostreqs.xml
index 5961b773a..cf7c711e0 100644
--- a/prologue/hostreqs.xml
+++ b/prologue/hostreqs.xml
@@ -146,18 +146,16 @@
To see whether your host system has all the appropriate versions, and
the ability to compile programs, run the following:
-
+
cat > version-check.sh << "EOF"
#!/bin/bash
-export LC_ALL=C
-
# Simple script to list version numbers of critical development tools
+export LC_ALL=C
bash --version | head -n1 | cut -d" " -f2-4
echo "/bin/sh -> `readlink -f /bin/sh`"
echo -n "Binutils: "; ld --version | head -n1 | cut -d" " -f3-
bison --version | head -n1
-
if [ -e /usr/bin/yacc ];
then echo "/usr/bin/yacc -> `readlink -f /usr/bin/yacc`";
else echo "yacc not found"; fi
@@ -167,7 +165,6 @@ echo -n "Coreutils: "; chown --version | head -n1 | cut -d")" -f2
diff --version | head -n1
find --version | head -n1
gawk --version | head -n1
-
if [ -e /usr/bin/awk ];
then echo "/usr/bin/awk -> `readlink -f /usr/bin/awk`";
else echo "awk not found"; fi
@@ -187,10 +184,10 @@ echo "Texinfo: `makeinfo --version | head -n1`"
xz --version | head -n1
echo 'main(){}' > dummy.c && gcc -o dummy dummy.c
-if [ -x dummy ]; then echo "gcc compilation OK";
+if [ -x dummy ]
+ then echo "gcc compilation OK";
else echo "gcc compilation failed"; fi
-rm -f dummy.c dummy
-
+rm -f dummy.c dummy
EOF
bash version-check.sh