From: Timo Heister <timo.heister@gmail.com>
Date: Mon, 17 Sep 2018 12:53:03 +0000 (-0400)
Subject: also install detailed.log
X-Git-Tag: v9.1.0-rc1~711^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3abf2117ffb6a3c13399ff3e359146e55e611e2b;p=dealii.git

also install detailed.log
---

diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index 8872f746fb..ddfdd2977e 100644
--- 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
   )