also install detailed.log

diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index 8872f746fb2ddad05d0b6d2929cef93032fbf3a2..ddfdd2977e3418f644b1c3ad1c5bd4bebfcd96bf 100644 (file)
--- a/doc/CMakeLists.txt
+++ b/doc/CMakeLists.txt
@@ -63,11 +63,12 @@ INSTALL(FILES
   )
 
 #
-# Install summary.log
+# Install summary.log an detailed.log
 #
 
 INSTALL(FILES
   ${CMAKE_BINARY_DIR}/summary.log
+  ${CMAKE_BINARY_DIR}/detailed.log
   DESTINATION ${DEAL_II_DOCREADME_RELDIR}
   COMPONENT library
   )