KaiOS: include extra copyright notices in manual

The KaiOS build includes compiled versions of various Emscripten library
files.  These are generally under the MIT licence like Puzzles itself.
The MIT licence requires that the licence, and the copyright notice, be
"included in all copies or substantial portions of the Software."

Since each KaiOS package includes the full manual, which already
contains the licence for Puzzles itself, adding the copyright notices
there seems like the best approach.  I've done this by providing an
additional input file that contains the licences for source files used
by a current Emscripten build.  More automation might be nice, but the
set of copyright notices is unlikely to change very much.  There are
basically one for Emscripten, one for musl, and a few for odd bits of
third-party code embedded in musl.

1 files changed, 3 insertions, 3 deletions

diff --git a/Buildscr b/Buildscr
index 68bdf27..f6eb4c1 100644
--- a/Buildscr
+++ b/Buildscr
@@ -146,10 +146,10 @@ endif
 # have the right dependencies installed for Emscripten, I do this by a
 # delegation.
 ifneq "$(NOJS)" yes then
-  # The Emscripten delegate doesn't have Halibut, so provide the HTML
-  # docs for the KaiOS apps to use.
+  # The Emscripten delegate doesn't have Halibut, so build a set of
+  # HTML docs for the KaiOS apps to use.
   in puzzles do mkdir -p build-kaios/help/en
-  in puzzles do cp -Rv doc/* build-kaios/help/en
+  in puzzles/build-kaios/help/en do halibut --html -Chtml-template-fragment:%k ../../../puzzles.but ../../../emcccopy.but
   delegate emscripten
     in puzzles do emcmake cmake -B build-emscripten $(web_unfinished_option) .
     in puzzles/build-emscripten do make -j$(nproc) VERBOSE=1