build tests: check that Github pages can be built successfully

diff --git a/.github/workflows/unit_tests.sh b/.github/workflows/unit_tests.sh
index d48c4b4bfe5597020a656585bc44700ad8b3660e..e85c32100188fbae97916301c68d8faf630a849d 100755 (executable)
--- a/.github/workflows/unit_tests.sh
+++ b/.github/workflows/unit_tests.sh
@@ -6,6 +6,7 @@ ADDITIONAL_DEPS=(
     clang
     expect
     fdisk
+    jekyll
     libfdisk-dev
     libfido2-dev
     libp11-kit-dev

diff --git a/meson.build b/meson.build
index 8b1871523f121be839ec67dd621228e358ad9321..2111d838707e59d9e5b35f6f1f41f83949e5fcba 100644 (file)
--- a/meson.build
+++ b/meson.build
@@ -3501,6 +3501,21 @@ meson.add_install_script('sh', '-c', 'touch $DESTDIR@0@'.format(prefixdir))
 
 ############################################################
 
+# Ensure that changes to the docs/ directory do not break the
+# basic Github pages build. But only run it in developer mode,
+# as it might be fragile due to changes in the tooling, and it is
+# not generally useful for users.
+jekyll = find_program('jekyll', required : false)
+if get_option('mode') == 'developer' and want_tests != 'false' and jekyll.found()
+        test('github-pages',
+             jekyll,
+             args : ['build',
+                     '--source', join_paths(project_source_root, 'docs'),
+                     '--destination', join_paths(project_build_root, '_site')])
+endif
+
+############################################################
+
 check_help = find_program('tools/check-help.sh')
 
 foreach exec : public_programs