From 88872fe806bb3700c8dc6372d66e1b6620f78da2 Mon Sep 17 00:00:00 2001
From: Ben Harris <bjh21@bjh21.me.uk>
Date: Fri, 20 Jan 2023 09:50:24 +0000
Subject: [PATCH] Install KaiOS app docs even without Halibut

Rather than installing the documentation only when Halibut is
available, install the documentation whenever it exists.  This allows
for the way that Buildscr injects the documentation into official
KaiOS builds.
---
 cmake/platforms/emscripten.cmake | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/cmake/platforms/emscripten.cmake b/cmake/platforms/emscripten.cmake
index 898d3ea..13e4261 100644
--- a/cmake/platforms/emscripten.cmake
+++ b/cmake/platforms/emscripten.cmake
@@ -124,10 +124,8 @@ function(build_platform_extras)
       DESTINATION kaios/${name})
     install(FILES ${CMAKE_CURRENT_SOURCE_DIR}/kaios/kaiads-glue.js
       DESTINATION kaios/${name})
-    if (HALIBUT)
-      install(DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/help
-        DESTINATION kaios/${name})
-    endif()
+    install(DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/help OPTIONAL
+      DESTINATION kaios/${name})
 
   endforeach()
 endfunction()