From: Timo Heister <timo.heister@gmail.com>
Date: Sun, 24 Nov 2019 20:59:47 +0000 (-0500)
Subject: make target documentation report location
X-Git-Tag: v9.2.0-rc1~849^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=caf335cec31783af398377562336bf7374594253;p=dealii.git

make target documentation report location

I am repeatedly struggling to find the correct .html file to open after
running "make documentation". Fix this by printing the absolute path to
the index.html to the screen.
---

diff --git a/doc/doxygen/CMakeLists.txt b/doc/doxygen/CMakeLists.txt
index 915d12892c..96f526349f 100644
--- a/doc/doxygen/CMakeLists.txt
+++ b/doc/doxygen/CMakeLists.txt
@@ -287,6 +287,7 @@ ADD_CUSTOM_COMMAND(
   COMMAND ${PERL_EXECUTABLE}
   ARGS
     ${CMAKE_CURRENT_SOURCE_DIR}/scripts/set_canonical_doxygen.pl
+  COMMAND ${CMAKE_COMMAND} -E echo "-- Documentation is available at ${CMAKE_CURRENT_BINARY_DIR}/deal.II/index.html"
   WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}
   DEPENDS
     tutorial