Fix warnings
[ghc.git] / configure.ac
index 44db95e..331e3b9 100644 (file)
@@ -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 ["----------------------------------------------------------------------
 "]