X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=configure.ac;h=6aa6361a49d645fae945318e4af72e99b74a1b2b;hb=80637c9b178f54f1eb5352695463dad8ef3c7fc0;hp=37dbc72bb292fbe07f2a2201e176a5d89d87414c;hpb=178a52ac5f702fa8644c0fd62eb364991ba3bbd1;p=ghc-hetmet.git

diff --git a/configure.ac b/configure.ac
index 37dbc72..6aa6361 100644
--- a/configure.ac
+++ b/configure.ac
@@ -992,10 +992,12 @@ echo ["\
       which is version   : $GccVersion
 
    ld       : $LdCmd
-   Happy    : $HappyCmd
-   Alex     : $AlexCmd
+   Happy    : $HappyCmd ($HappyVersion)
+   Alex     : $AlexCmd ($AlexVersion)
    Python   : $PythonCmd
-   Perl     : $PerlCmd"]
+   Perl     : $PerlCmd
+   dblatex  : $DblatexCmd
+   xsltproc : $XsltprocCmd"]
 
 if test "$HSCOLOUR" = ""; then
 echo ["
@@ -1007,11 +1009,12 @@ echo ["\
 "]
 fi
 
-echo "Building DocBook HTML documentation: $BUILD_DOCBOOK_HTML"
-echo "Building DocBook PS documentation:   $BUILD_DOCBOOK_PS"
-echo "Building DocBook PDF documentation:  $BUILD_DOCBOOK_PDF"
+echo ["\
+   Building DocBook HTML documentation : $BUILD_DOCBOOK_HTML
+   Building DocBook PS documentation   : $BUILD_DOCBOOK_PS
+   Building DocBook PDF documentation  : $BUILD_DOCBOOK_PDF
 
-echo ["Building shared libraries      : $BuildSharedLibs"]
+   Building shared libraries           : $BuildSharedLibs"]
 
 echo ["----------------------------------------------------------------------
 "]