X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=configure.ac;h=331e3b991d646a9814028d5c97a83a8cd875fee5;hb=4a84e214da8a2d87d2fd819d59fb06115e98014c;hp=44db95eebca7fb57bf81ddf18a44c7fd1caae9a8;hpb=926ae90b75cd3368049854898062a563e57c9ad2;p=ghc-hetmet.git

diff --git a/configure.ac b/configure.ac
index 44db95e..331e3b99 100644
--- a/configure.ac
+++ b/configure.ac
@@ -940,9 +940,7 @@ fi
 echo ["\
    Building DocBook HTML documentation : $BUILD_DOCBOOK_HTML
    Building DocBook PS documentation   : $BUILD_DOCBOOK_PS
-   Building DocBook PDF documentation  : $BUILD_DOCBOOK_PDF
-
-   Building shared libraries           : $BuildSharedLibs"]
+   Building DocBook PDF documentation  : $BUILD_DOCBOOK_PDF"]
 
 echo ["----------------------------------------------------------------------
 "]