diff options
| -rw-r--r-- | documentation/CMakeLists.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/documentation/CMakeLists.txt b/documentation/CMakeLists.txt index cec1f5104..53fdd2898 100644 --- a/documentation/CMakeLists.txt +++ b/documentation/CMakeLists.txt @@ -46,6 +46,12 @@ if(OPTION_BUILD_HTML_DOCUMENTATION) @ONLY ) + configure_file( + ${CMAKE_CURRENT_SOURCE_DIR}/src/tiny.png + ${CMAKE_CURRENT_BINARY_DIR}/html/tiny.png + COPYONLY + ) + # generate html docs add_custom_target(html |