From 2ed85e10377d173e2c6243e8cdc262101d8169dd Mon Sep 17 00:00:00 2001
From: Timo Heister <timo.heister@gmail.com>
Date: Sun, 16 Sep 2018 19:45:12 -0400
Subject: [PATCH] install summary.log

This is extremely useful to debug installation problems because one can
easily check the version and status of dependencies of an installation
instead of digging into the config.h
---
 doc/CMakeLists.txt | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index 76267a3212..8872f746fb 100644
--- a/doc/CMakeLists.txt
+++ b/doc/CMakeLists.txt
@@ -62,6 +62,16 @@ INSTALL(FILES
   COMPONENT library
   )
 
+#
+# Install summary.log
+#
+
+INSTALL(FILES
+  ${CMAKE_BINARY_DIR}/summary.log
+  DESTINATION ${DEAL_II_DOCREADME_RELDIR}
+  COMPONENT library
+  )
+
 #
 # Add a dummy target to make documentation files known to IDEs.
 #
-- 
2.39.5