From c9a11cb4d01d33d7e728fcc8c842d810894b0c5a Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Tue, 2 Jun 2009 09:03:45 +0000 Subject: [PATCH] mention documentation tools in the summary; tidy up formatting --- configure.ac | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) 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 ["---------------------------------------------------------------------- "] -- 1.7.10.4