From bce85d951109aa36f6cf488ba63ae640f2ffc1dc Mon Sep 17 00:00:00 2001
From: Albrecht Schlosser <albrechts.fltk@online.de>
Date: Mon, 16 Sep 2019 17:17:54 +0200
Subject: [PATCH] CMake: copy 'tiny.png' to doc folder

The image 'tiny.png' was not copied to the documentation/html
directory when docs were built with CMake.
---
 documentation/CMakeLists.txt | 6 ++++++
 1 file changed, 6 insertions(+)

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