tweaking CMake output while building manuals

diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index d1e304b9e65facd0715088218b1646b14ae3ca41..56a5d58ee1d3496715752b69cb10ace243a4668d 100644 (file)
--- a/doc/CMakeLists.txt
+++ b/doc/CMakeLists.txt
@@ -272,7 +272,7 @@ if (MAKE_PDF_DOC OR MAKE_HTML_DOC)
             OUTPUT ${output}
             COMMAND ${CMAKE_COMMAND} -E copy ${input} ${output}
             DEPENDS ${input}
-            COMMENT "Documents: Copying ${file} into binary directory"
+            COMMENT "Documents: copying ${file} into binary directory"
         )
 
         list(APPEND ALL_SOURCES "${CMAKE_CURRENT_BINARY_DIR}/${file}")