diff options
Diffstat (limited to 'prologue')
| -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 8f167bde1..36470c07c 100644 --- a/prologue/hostreqs.xml +++ b/prologue/hostreqs.xml @@ -177,7 +177,7 @@ patch --version | head -n1 echo Perl `perl -V:version` sed --version | head -n1 tar --version | head -n1 -makeinfo --version | head -n1 +echo "Texinfo: `makeinfo --version | head -n1`" echo 'main(){}' > dummy.c && gcc -o dummy dummy.c if [ -x dummy ]; then echo "Compilation OK"; else echo "Compilation failed"; fi |