From: Timo Heister 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=refs%2Fpull%2F9090%2Fhead;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